Produktart
Zustand
Einband
Weitere Eigenschaften
Land des Verkäufers
Verkäuferbewertung
Verlag: MIT Press, 1990
ISBN 10: 0262231441ISBN 13: 9780262231442
Anbieter: Ammareal, Morangis, Frankreich
Buch
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.
Verlag: MIT Press, 1989
ISBN 10: 0262231441ISBN 13: 9780262231442
Anbieter: Ammareal, Morangis, Frankreich
Buch
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.
Verlag: The Mit Press, 1990
Anbieter: Librodifaccia, Alessandria, AL, Italien
Zustand: Buone. inglese Condizioni dell'esterno: Discrete con difetti, strappi Condizioni dell'interno: Buone.
Verlag: MIT Press 01.02.1990., 1990
ISBN 10: 0262231441ISBN 13: 9780262231442
Anbieter: NEPO UG, Rüsselsheim am Main, Deutschland
Buch
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.
Verlag: Mit Pr, 1990
ISBN 10: 0262231441ISBN 13: 9780262231442
Anbieter: Kloof Booksellers & Scientia Verlag, Amsterdam, Niederlande
Buch
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,
Verlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1984
ISBN 10: 3540139389ISBN 13: 9783540139386
Anbieter: Ammareal, Morangis, Frankreich
Buch
Softcover. Zustand: Très bon. Ancien livre de bibliothèque. Salissures sur la tranche. Edition 1984. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Stains on the edge. Edition 1984. Ammareal gives back up to 15% of this item's net price to charity organizations.