| 作者 |
Carnielli, Walter
|
| 書名 |
Analysis and Synthesis of Logics [electronic resource] : 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 |
| 國際標準書號 |
9781402067822 (electronic bk.) |
|
9781402067815 (paper) |
|
