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 89 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 - Hartmann, Sönke:
Project scheduling under limited resources , models, methods, and applications. Lecture notes in economics and mathematical systems

EUR 35,00
Details zum Buch...

Mathematik - Striebel, Charlotte:
Optimal control of discrete time stochastic systems ) 1975, Springer-Verlag, Unknown Binding [208 pp

EUR 23,00
Details zum Buch...

Mathematik - Abraham-Frois, Gilbert:
Non-linear dynamics and endogenous cycles. (ed.), Lecture notes in economics and mathematical systems

EUR 38,00
Details zum Buch...

McLachlan, E. K.:
Calculus of Several Variables

EUR 35,79
Details zum Buch...

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