Zu dieser ISBN ist aktuell kein Angebot verfügbar.
Alle Exemplare der Ausgabe mit dieser ISBN anzeigen:„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Versand:
EUR 8,00
Von Frankreich nach USA
Buchbeschreibung Hardcover. Zustand: Très bon. Ancien livre de bibliothèque. Jaquette abîmée. Edition 1990. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Damaged dust jacket. Edition 1990. Ammareal gives back up to 15% of this item's net price to charity organizations. Artikel-Nr. E-863-096
Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren
Buchbeschreibung Hardcover. Zustand: Bon. Ancien livre de bibliothèque. Légères traces d'usure sur la couverture. Edition 1989. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Slight signs of wear on the cover. Edition 1989. Ammareal gives back up to 15% of this item's net price to charity organizations. Artikel-Nr. E-598-257
Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren
Buchbeschreibung Zustand: as new. Cambridge, MA.: The MIT Press, 1990. Hardcover. Dustjacket. xv,239 pp. - This book develops and demonstrates efficient matrix proof methods for automated deduction within an important and comprehensive class of first order and intuitionistic logics. Traditional techniques for the design of efficient proof systems are abstracted from their original setting which allows their application to a wider class of mathematical logic. The logics discussed are used throughout computer science and artificial intelligence. Contents: Introduction I. Automated Deduction in Classical Logic. Proof search in classical sequent calculi. A matrix characterization of classical validity. II. Automated Proof Deduction in Modal Logics. The semantics and proof theory of modal logics. Proof search in modal sequent calculi. Matrix characterizations of modal validity. Alternative proof methods for modal logics. Matrix based proof search. III. Automated Deduction in Intuitionistic Logic. A Matrix proof method. Conclusions. Condition : as new copy. ISBN 9780262231442. Keywords : PHILOSOPHY, Artikel-Nr. 286465
Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren
Buchbeschreibung Zustand: Gut. 239 Seiten ex Library Book / aus einer wissenschafltichen Bibliothek / Altersfreigabe FSK ab 0 Jahre Sprache: Englisch Gewicht in Gramm: 969 23,1 x 17,8 x 2,3 cm, Gebundene Ausgabe. Artikel-Nr. 388373
Weitere Informationen zu diesem Verkäufer | Verkäufer kontaktieren