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, c2010

注記

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

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

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