Sandford, David M. Using Sophisticated Models in Resolution Theorem Proving.( = Lecture Notes in Computer Science, 90) . Springer Heidelberg, 1980.

Die Antiquariatsbuchplattform von

Sie haben keine Artikel im Warenkorb.

Artikelbeschreibung

Sandford, David M.
Using Sophisticated Models in Resolution Theorem Proving.( = Lecture Notes in Computer Science, 90) .
Springer Heidelberg, 1980.
ISBN/EAN: 0387102310

gefunden im Sachgebiet: Informatik, Hardware, Software

239 S. Paperback/ broschiert

Sehr guter Zustand/ very good Ex-Library. Brownish paper.

[SW: Künstliche Intelligenz Mathematik]
Künstliche, Intelligenz, Mathematik

EUR5,30
inkl. MwSt. zzgl. Versand: EUR 0,00
Lieferzeit: 1 - 7 Werktage

In den Warenkorb

Dieses Angebot wurde bereits 52 mal aufgerufen

Ihre zuletzt aufgerufenen Angebote

• Sandford, David M. Using Sophisticated Models in Resolution Theorem Proving.( = Lecture Notes in Co ...

Sparen Sie Versandkosten beim Kauf ähnlicher Angebote dieses Anbieters

Virvou, Maria and Taichi Nakamura:
Knowledge-based Software Engineering: Proceedings of the Eighth Joint Conference on Knowledge-based Software Engineering (=Frontiers in Artificial Intelligence and Applications).

EUR 83,90
Details zum Buch...

Donnellan, Andrea a. o. (Edts.):
Computational Earthquake Science, Part 1. PAGEOPH Topical Volumes.

EUR 24,40
Details zum Buch...

Henry, Pierre:
The Testing Network: An integral approach to test activities in large software projects.

EUR 9,20
Details zum Buch...

Pavlidis, Theodosios:
Algorithmen zur Grafik und Bildverarbeitung.

EUR 5,80
Details zum Buch...

FF-Nutzer: Kostenloses Such-Plugin für Antikbuch24 installieren
IE-Nutzer: Kostenloses Such-Plugin für Antikbuch24 installieren