2000, ISBN: 3540671900
[EAN: 9783540671909], Neubuch, [SC: 0.0], [PU: Springer Berlin Heidelberg], BEGRÜNDUNG / BEWEIS; INTELLIGENZ KÜNSTLICHE INTELLIGENZ; KI; - AI; LOGIK; PHILOSOPHIE CLASSICALLOGIC; MODALLOGI… Mehr…
ZVAB.com AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)] NEW BOOK. Versandkosten:Versandkostenfrei. (EUR 0.00) Details... |
ISBN: 9783540671909
This volume presents a collection of thoroughly reviewed revised full papers on automated deduction in classical, modal, and many-valued logics, with an emphasis on first-order theories.F… Mehr…
BarnesandNoble.com new in stock. Versandkosten:zzgl. Versandkosten. Details... |
1998, ISBN: 9783540671909
This volume presents a collection of thoroughly reviewed revised full papers on automated deduction in classical, modal, and many-valued logics, with an emphasis on first-order theories.F… Mehr…
BetterWorldBooks.com used in stock. Versandkosten:zzgl. Versandkosten. Details... |
Automated Deduction in Classical and Non-Classical Logics: Selected Papers (Lecture Notes in Computer Science, 1761) - Taschenbuch
2000, ISBN: 9783540671909
Springer, 2000-02-09. Paperback. New. New. In shrink wrap. Looks like an interesting title!, Springer, 2000-02-09, 6
Biblio.co.uk |
2000, ISBN: 9783540671909
Trade paperback, New., Trade paperback (US). Glued binding. 304 p., Berlin, Heidelberg, [PU: Springer]
alibris.co.uk |
2000, ISBN: 3540671900
[EAN: 9783540671909], Neubuch, [SC: 0.0], [PU: Springer Berlin Heidelberg], BEGRÜNDUNG / BEWEIS; INTELLIGENZ KÜNSTLICHE INTELLIGENZ; KI; - AI; LOGIK; PHILOSOPHIE CLASSICALLOGIC; MODALLOGI… Mehr…
ISBN: 9783540671909
This volume presents a collection of thoroughly reviewed revised full papers on automated deduction in classical, modal, and many-valued logics, with an emphasis on first-order theories.F… Mehr…
1998
ISBN: 9783540671909
This volume presents a collection of thoroughly reviewed revised full papers on automated deduction in classical, modal, and many-valued logics, with an emphasis on first-order theories.F… Mehr…
Automated Deduction in Classical and Non-Classical Logics: Selected Papers (Lecture Notes in Computer Science, 1761) - Taschenbuch
2000, ISBN: 9783540671909
Springer, 2000-02-09. Paperback. New. New. In shrink wrap. Looks like an interesting title!, Springer, 2000-02-09, 6
2000, ISBN: 9783540671909
Trade paperback, New., Trade paperback (US). Glued binding. 304 p., Berlin, Heidelberg, [PU: Springer]
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Automated Deduction in Classical and Non-Classical Logics: Selected Papers Ricardo Caferra Editor
EAN (ISBN-13): 9783540671909
ISBN (ISBN-10): 3540671900
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2000
Herausgeber: Springer Berlin Heidelberg Core >1
312 Seiten
Gewicht: 0,474 kg
Sprache: eng/Englisch
Buch in der Datenbank seit 2007-01-02T07:29:57+01:00 (Berlin)
Detailseite zuletzt geändert am 2023-10-10T07:09:03+02:00 (Berlin)
ISBN/EAN: 3540671900
ISBN - alternative Schreibweisen:
3-540-67190-0, 978-3-540-67190-9
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: caf, salzer, ricardo, gernot, siekmann
Titel des Buches: deduction, classical papers, class, 1001 classical, deductio, non classical logic, what logics mean, lecture notes artificial intelligence, computer, classical and nonclassical logics
Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9783540465089 Automated Deduction in Classical and Non-Classical Logics (Ricardo Caferra; Gernot Salzer)
< zum Archiv...