Handbook of tableau methods

著者

• D'Agostino, Marcello
• Gabbay, Dov M.
• Hähnle, Reiner
• Posegga, Joachim

書誌事項

Handbook of tableau methods

edited by Marcello D'Agostino ... [et al.]

Kluwer Academic, c2010

注記

Includes bibliographical references and index

Other editors: Dov M. Gabbay, Reiner Hähnle, Joachim Posegga

• NII書誌ID(NCID): BB13288671
• ISBN:
  • 9789048151844
• 出版国コード: ne
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Dordrecht
• ページ数/冊数: viii, 670 p.
• 大きさ: 23 cm
• 分類:
  • LCC : QA76.9.A96
  • DC21 : 511.3
• 件名:
  • LCSH : Automatic theorem proving
  • LCSH : Logic, Symbolic and mathematical