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,50
inkl. MwSt. zzgl. Versand: EUR 0,00
Lieferzeit: 1 - 7 Werktage

In den Warenkorb

Dieses Angebot wurde bereits 47 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

Berthold, Michael a. o. (Edts.):
Advances in intelligent Data Analysis VII. Proceedings in 7th International Symposium on Intelligent Data Analysis, IDA 2007, Ljubljana, Slovenia, September 6 - 8. (=Lecture notes in Computer Science ; Vol. 4723).

EUR 23,40
Details zum Buch...

Ruffing, Markus:
CELEX : Profil einer Datenbank. (=Computer im Recht ; Bd. 2).

EUR 5,00
Details zum Buch...

Ravikumar, C. P.:
Parallel Methods for VLSI Layout Design. Computer Engineering and Computer Science.

EUR 6,00
Details zum Buch...

Kahlisch, Thomas:
Software-ergonomische Aspekte der Studierumgebung blinder Menschen. (=Schriftenreihe Forschungsergebnisse zur Informatik ; Bd. 37).

EUR 18,00
Details zum Buch...

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