Analysis and synthesis of logics : how to cut and paste reasoning systems

著者

• Carnielli, Walter A. (Walter Alexandre)
• Coniglio, Marcelo
• Gabbay, Dov M.
• Gouveia, Paula,
• Sernadas, Cristina

書誌事項

Analysis and synthesis of logics : how to cut and paste reasoning systems

by Walter Carnielli ... [et al.]

（Applied logic series, v. 35）

Springer, c2008

• : e-book

注記

Includes bibliographical references (p. 559-578) and index

Other authors: Marcelo Coniglio, Dov M. Gabbay, Paula Gouveia, Cristina Sernadas

詳細情報

• NII書誌ID(NCID): BA84974128
• ISBN:
  • 9781402067815
  • 9781402067822
• 出版国コード: ne
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Dordrecht
• ページ数/冊数: xvi, 600 p.
• 大きさ: 25 cm
• 親書誌ID:
  • BA28718584