Record:   Prev Next
作者 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)
book jacket
Record:   Prev Next