close
1.

電子ブック
ＥＢ
1. Model-Based Reasoning in Science and Technology : Abduction, Logic, and Computational Discovery
edited by Lorenzo Magnani, Walter Carnielli, Claudio Pizzi
出版情報: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2010
シリーズ名: Studies in Computational Intelligence ; 314
オンライン: http://dx.doi.org/10.1007/978-3-642-15223-8
所蔵情報: loading…
2.

電子ブック
ＥＢ
2. 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
シリーズ名: Applied Logic Series ; 35
オンライン: http://dx.doi.org/10.1007/978-1-4020-6782-2
所蔵情報: loading…