Analysis and Synthesis of Logics : How to Cut and Paste Reasoning Systems
- 種類:
- 電子ブック
- 責任表示:
- by Walter Carnielli, Marcelo Coniglio, Dov M. Gabbay, Paula Gouveia, Cristina Sernadas
- 出版情報:
- Dordrecht : Springer Science+Business Media B.V., 2008
- 著者名:
Carnielli, Walter Coniglio, Marcelo Gabbay, Dov M. Gouveia, Paula Sernadas, Cristina SpringerLink (Online service) - シリーズ名:
- Applied Logic Series ; 35
- ISBN:
- 9781402067822 [1402067828]
- ローカル注記:
- 学内専用E-BOOKS (local access only)
類似資料:
Springer Science+Business Media, Inc. | |
Springer Netherlands |
Springer Science+Business Media B.V. |
Springer Netherlands |
Springer Science+Business Media B.V. |
Springer Basel : Imprint: Birkhäuser | |
Springer-Verlag Berlin Heidelberg |
Springer Basel : Imprint: Birkhäuser |
Birkhäuser Verlag AG |
Springer Science+Business Media, LLC |