こちらに共通ヘッダが追加されます。

この情報を出力する

このページのリンク

他の検索サイト

Analysis and synthesis of logics : how to cut and paste reasoning systems / by Walter Carnielli ... [et al.]
(Applied logic series ; v. 35)

データ種別 図書
出版情報 Dordrecht : Springer , c2008
大きさ xvi, 600 p. : ill. ; 25 cm

所蔵情報を非表示

文学部 哲学
116||C9672 072206578


書誌詳細を非表示

書誌ID BB10260591
本文言語 英語
一般注記 Includes bibliographical references (p. 559-578) and index
Other authors: Marcelo Coniglio, Dov M. Gabbay, Paula Gouveia, Cristina Sernadas
著者標目  *Carnielli, Walter A. (Walter Alexandre)
Coniglio, Marcelo
 Gabbay, Dov M., 1945-
Gouveia, Paula,
Sernadas, Cristina
巻冊次 ISBN:9781402067815 RefWorks出力（各巻）
: e-book ; ISBN:9781402067822 RefWorks出力（各巻）
NCID BA84974128
[BOOKデータASPサービス] あらすじ／目次

 この資料を見た人はこんな資料も見ています