Erweiterte
Suche ›

Automated Reasoning with Analytic Tableaux and Related Methods

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

von
Springer Berlin,
Buch
85,59 € Lieferbar in 2-3 Tagen

Kurzbeschreibung

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.

Details
Schlagworte

Titel: Automated Reasoning with Analytic Tableaux and Related Methods
Autoren/Herausgeber: Didier Galmiche (Hrsg.)
Aus der Reihe: Lecture Notes in Computer Science
Ausgabe: 1997

ISBN/EAN: 9783540629207

Seitenzahl: 380
Format: 23,5 x 15,5 cm
Produktform: Taschenbuch/Softcover
Gewicht: 1,210 g
Sprache: Englisch

buchhandel.de - Newsletter
Möchten Sie sich für den Newsletter anmelden?


Bitte geben Sie eine gültige E-Mail-Adresse ein.
Lieber nicht