Mathematik - Sandford, David M.: Using sophisticated models in resolution theorem proving. Lecture notes in computer science , 90 Berlin [West] , Heidelberg , New York : Springer, 1980.

Die Antiquariatsbuchplattform von

Sie haben keine Artikel im Warenkorb.

Artikelbeschreibung

Mathematik - Sandford, David M.:
Using sophisticated models in resolution theorem proving. Lecture notes in computer science , 90
Berlin [West] , Heidelberg , New York : Springer, 1980.
ISBN/EAN: 9783540102311

gefunden im Sachgebiet: Mathematik

XI, 239 S. , 24 cm

Literaturverz. S. 229-233, sehr guter Zustand

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

EUR35,00
inkl. MwSt. zzgl. Versand: EUR 4,00
Lieferzeit: 1 - 5 Werktage

In den Warenkorb

Dieses Angebot wurde bereits 79 mal aufgerufen

Ihre zuletzt aufgerufenen Angebote

• Mathematik - Sandford, David M.: Using sophisticated models in resolution theorem proving. Lecture n ...

Sparen Sie Versandkosten beim Kauf ähnlicher Angebote dieses Anbieters

Mathematik - Czuber, Emanuel:
Die statistischen Forschungsme... Czuber, Emanuel: Die statistischen Forschungsmethoden. 3., erweiterte Auflage. Hg. von F.Burkhardt Burkhardt. Mit 38 Figuren im Text. Wien: Seidel 1938. XVI, 330 S., 1 Bl. OLeinwand

EUR 25,00
Details zum Buch...

Mathematik / Zeitschrift - Ohne Autor:
Commentarii Mathematici Helvetici Vol 4 / 5

EUR 55,00
Details zum Buch...

Mathematik - Gerbier, A.:
Mes premières constructions de programmes. Lecture notes in computer science , 55

EUR 15,00
Details zum Buch...

Almering, J.H.J.:
Analyse

EUR 12,00
Details zum Buch...

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