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
- 形態:
- v.: digital
- 著者名:
Carnielli, Walter Coniglio, Marcelo Gabbay, Dov M. Gouveia, Paula Sernadas, Cristina SpringerLink (Online service) - シリーズ名:
- Applied Logic Series ; 35
- 書誌ID:
- NB02217130
- ISBN:
- 9781402067822 [1402067828]
- 学内からのみアクセスすることができます。
類似資料:
|
Springer Science+Business Media, Inc. |
Springer Science+Business Media, LLC |
|
Springer-Verlag Berlin Heidelberg |
Birkhauser Verlag AG |
|
Springer Netherlands |
Springer Science+Business Media B.V. |
|
4
電子ブック
Towards Mathematical Philosophy : Papers from the Studia Logica conference Trends in Logic IV
Springer Netherlands |
Springer-Verlag New York |
|
Springer Science+Business Media B.V. |
Springer Science+Business Media B.V. |
|
Springer-Verlag Berlin Heidelberg |
Springer Netherlands |