Analysis and Synthesis of Logics = H...
Gouveia, Paula.

 

  • Analysis and Synthesis of Logics = How to Cut and Paste Reasoning Systems /
  • 紀錄類型: 書目-電子資源 : 分析款目
    正題名/作者: Analysis and Synthesis of Logics/ by Walter Carnielli, Marcelo Coniglio, Dov M. Gabbay, Paula Gouveia, Cristina Sernadas.
    其他題名: How to Cut and Paste Reasoning Systems /
    作者: Carnielli, Walter.
    其他作者: Coniglio, Marcelo.
    出版者: Dordrecht :Springer Science+Business Media B.V., : 2008.,
    面頁冊數: xvi, 600 p. :ill., digital ; : 25 cm.;
    叢書名: Applied Logic Series,
    Contained By: Springer eBooks
    標題: Logic, Symbolic and mathematical. -
    電子資源: http://dx.doi.org/10.1007/978-1-4020-6782-2
    ISBN: 9781402067822 (electronic bk.)
多媒體
評論
Export
取書館別
 
 
變更密碼
登入