Theorem Proving with Analytic Tableaux and Related Methods: 5th International Workshop, TABLEAUX '96, Terrasini (Palermo), Italy, May 15 - 17, 1996. ... (Lecture Notes in Computer Science, 1071) - Softcover

 
9783540612087: Theorem Proving with Analytic Tableaux and Related Methods: 5th International Workshop, TABLEAUX '96, Terrasini (Palermo), Italy, May 15 - 17, 1996. ... (Lecture Notes in Computer Science, 1071)
Softcover
ISBN 10: 3540612084 ISBN 13: 9783540612087
Publisher: Springer, 1996

Synopsis

This books presents the refereed proceedings of the Fifth International Workshop on Analytic Tableaux and Related Methods, TABLEAUX '96, held in Terrasini near Palermo, Italy, in May 1996.
The 18 full revised papers included together with two invited papers present state-of-the-art results in this dynamic area of research. Besides more traditional aspects of tableaux reasoning, the collection also contains several papers dealing with other approaches to automated reasoning. The spectrum of logics dealt with covers several nonclassical logics, including modal, intuitionistic, many-valued, temporal and linear logic.

"synopsis" may belong to another edition of this title.

Synopsis

This books presents the refereed proceedings of the Fifth International Workshop on Analytic Tableaux and Related Methods, TABLEAUX '96, held in Terrasini near Palermo, Italy, in May 1996. The 18 full revised papers included together with two invited papers present state-of-the-art results in this dynamic area of research. Besides more traditional aspects of tableaux reasoning, the collection also contains several papers dealing with other approaches to automated reasoning. The spectrum of logics dealt with covers several nonclassical logics, including modal, intuitionistic, many-valued, temporal and linear logic.

"About this title" may belong to another edition of this title.

Publisher
Springer
Publication date
1996
Language
English
ISBN 10 
3540612084
ISBN 13 
9783540612087
Binding
Paperback
Number of pages
348
Editor
Miglioli Pierangelo, Moscato Ugo, Mundici Daniele, Ornaghi Mario

Other Popular Editions of the Same Title

9783662175521: Theorem Proving with Analytic Tableaux and Related Methods: 5th International Workshop, TABLEAUX '96, Terrasini (Palermo), Italy, May 15 - 17, 1996. Proceedings

Featured Edition

ISBN 10:  3662175525 ISBN 13:  9783662175521
Publisher: Springer, 2014
Softcover