Verwandte Artikel zu Automated Reasoning with Analytic Tableaux and Related...
Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX'98, Oisterwijk, The Netherlands, May 5-8, 1998 : ... / Lecture Notes in Artificial Intelligence) - Softcover
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.
Reseña del editor
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.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
- VerlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. K
- Erscheinungsdatum1998
- ISBN 10 3540644067
- ISBN 13 9783540644064
- EinbandTapa blanda
- SpracheEnglisch
- Anzahl der Seiten335
- HerausgeberSwart Harrie De
- Kontakt zum HerstellerNicht verfügbar
Suchergebnisse für Automated Reasoning with Analytic Tableaux and Related...
Beispielbild für diese ISBN
Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, Tableaux'98, Oisterwijk, the Netherlands, May 5-8, 1998, Pro
Anbieter: ThriftBooks-Dallas, Dallas, TX, USA
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less 1.01. Bestandsnummer des Verkäufers G3540644067I4N00
Anzahl: 1 verfügbar