Turbo
Filters
Sort
Categories
Automated Theorem Proving (1987)
By
Wolfgang Bibel
Paperback
AED
421
28
AEDÂ 629.00
33% OFF
Turbo
Free Delivery
26 - 27 Nov
Logische Und Funktionale Programmierung: Grundlagen Einer Kombination (1991)
By
Ulrich Furbach
Paperback
AED
275
35
AEDÂ 540.00
49% OFF
Turbo
Free Delivery
26 - 27 Nov
PROLOG: Eine Methodische Einführung (3. Aufl. 1992)
Paperback
AED
275
35
AEDÂ 363.00
24% OFF
Turbo
Free Delivery
26 - 27 Nov
Logische Grundlagen Der Künstlichen Intelligenz (1989)
By
Nils J Nilsson
Paperback
AED
238
88
AEDÂ 311.00
23% OFF
Turbo
Free Delivery
26 - 27 Nov
Relative Complexities of First Order Calculi (1992)
By
Elmar Eder
Paperback
AED
275
35
AEDÂ 345.00
20% OFF
Turbo
Free Delivery
26 - 27 Nov
LISP: Fallbeispiele Mit Anwendungen in Der Künstlichen Intelligenz (1989)
By
Rüdiger Esser
Paperback
AED
275
35
AEDÂ 445.00
38% OFF
Turbo
Free Delivery
26 - 27 Nov
Die Wissensrepräsentationssprache Ops5: Sprachbeschreibung Und Einführung in Die Regelorientierte Programmierung (1987)
By
Reinhard Krickhahn
Paperback
AED
275
35
AEDÂ 551.00
50% OFF
Turbo
Free Delivery
26 - 27 Nov
Automatisierung Von Terminierungsbeweisen (1991)
By
Christoph Walther
Paperback
AED
275
35
AEDÂ 484.00
43% OFF
Turbo
Free Delivery
26 - 27 Nov
Schließen Bei Unsicherem Wissen in Der Künstlichen Intelligenz: Vergleich Von Formalismen Anhand Eines Beispiels (1992)
By
Léa Sombé
Paperback
AED
275
35
AEDÂ 520.00
47% OFF
Turbo
Free Delivery
26 - 27 Nov
Parallelism in Logic: Its Potential for Performance and Program Development (1991)
Paperback
AED
275
35
AEDÂ 520.00
47% OFF
Turbo
Free Delivery
26 - 27 Nov