Tell your friends about this item:
Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, Tableaux 97, Pont-a-mousson, France, May 13 - 16, 1997 Proceedings - Lecture Notes in Computer Science
Didier Galmiche
Price
$ 65.49
Ordered from remote warehouse
Expected delivery Dec 11 - 24
Christmas presents can be returned until 31 January
Our customers say:
Add to your iMusic wish list
Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, Tableaux 97, Pont-a-mousson, France, May 13 - 16, 1997 Proceedings - Lecture Notes in Computer Science
Didier Galmiche
The papers in this volume cover the spectrum of tableaux-based theorem proving and its applications, including theoretical foundations, methodological issues, implementation techniques, and system development. They deal with classical, modal, intuitionistic, many-valued and temporal logic.
380 pages, biography
| Media | Books Paperback Book (Book with soft cover and glued back) |
| Released | April 29, 1997 |
| ISBN13 | 9783540629207 |
| Publishers | Springer-Verlag Berlin and Heidelberg Gm |
| Pages | 380 |
| Dimensions | 156 × 234 × 20 mm · 548 g |
| Editor | Galmiche, Didier |
