Verlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2007
ISBN 10: 3540557458 ISBN 13: 9783540557456
Sprache: Englisch
Anbieter: Kennys Bookstore, Olney, MD, USA
EUR 78,83
Währung umrechnenAnzahl: 15 verfügbar
In den WarenkorbZustand: New. This volume contains the proceedings of a workshop held at the Free University of Berlin in November 1990, which discussed various subfields of logic and its applications in artificial intelligence. Papers examine modal systems, logic programming, nonmonotonic logics and proof theory. Editor(s): Pearce, David; Wansing, Heinrich. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 184 pages, biography. BIC Classification: PBCD; PBW; UYQ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 279 x 216 x 10. Weight in Grams: 600. . 1992. Paperback. . . . . Books ship from the US and Ireland.