Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX'98, Oisterwijk, The Netherlands, May 5-8, 1998, ... Notes in Computer Science, 1397, Band 1397) - Softcover

 
9783540644064: Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX'98, Oisterwijk, The Netherlands, May 5-8, 1998, ... Notes in Computer Science, 1397, Band 1397)
Softcover
ISBN 10: 3540644067 ISBN 13: 9783540644064
Verlag: Springer, 1998

Inhaltsangabe

The volume presents 17 revised full papers and three system descriptions selected from 34 submissions; also included are several abstracts of invited lectures, tutorials, and system comparison papers. The book presents new research results for automated deduction in various non-standard logics as well as in classical logic. Areas of application include software verification, systems verification, deductive databases, knowledge representation and its required inference engines, and system diagnosis.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer
Erscheinungsdatum
1998
Sprache
Englisch
ISBN 10 
3540644067
ISBN 13 
9783540644064
Einband
Taschenbuch
Auflage
1
Anzahl der Seiten
335
Herausgeber
Swart Harrie De
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Deutschland