Noch Fragen? 0800 / 33 82 637

Automated Reasoning with Analytic Tableaux and Related Methods

International Conference, TABLEAUX'97, Pont-a-Mousson, France, May 13-16, 1997 Proceedings

Produktform: E-Buch Text Elektronisches Buch in proprietärem

This book constitutes the refereed proceedings of the International Conference on Analytic Tableaux and Related Methods, TABLEAUX'97, held in Pont-a-Mousson, France, in May 1997.The volume presents 22 revised full papers selected from a total of 49 submissions. Also included are two invited papers and two system descriptions. The volume covers the whole spectrum of tableaux-based theorem proving and its applications including theoretical foundations, methodological issues, implementation techniques, and system development. Besides classical logics, among the logics dealt with are modal, intuitionistic, many-valued, and temporal logic.weiterlesen

Elektronisches Format: PDF

Sprache(n): Englisch

ISBN: 978-3-540-69046-7 / 978-3540690467 / 9783540690467

Verlag: Springer Berlin

Erscheinungsdatum: 22.11.2005

Seiten: 380

Herausgegeben von Didier Galmiche

53,49 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand

sofort lieferbar - Lieferzeit 1-3 Werktage

zurück