Mathematik - Bibel, Wolfgang [Hrsg.]: 5. Conference on Automated Deduction : Les Arcs, France, July 8-11, 1980. ed. by W. Bibel and R. Kowalski, Lecture notes in computer science , 87 Berlin [West] , Heidelberg , New York : Springer, 1980.

Die Antiquariatsbuchplattform von

Sie haben keine Artikel im Warenkorb.

Artikelbeschreibung

Mathematik - Bibel, Wolfgang [Hrsg.]:
5. Conference on Automated Deduction : Les Arcs, France, July 8-11, 1980. ed. by W. Bibel and R. Kowalski, Lecture notes in computer science , 87
Berlin [West] , Heidelberg , New York : Springer, 1980.
ISBN/EAN: 9783540100096

gefunden im Sachgebiet: Mathematik

VII, 385 S. , 24 cm

Literaturangaben

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

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

In den Warenkorb

Dieses Angebot wurde bereits 74 mal aufgerufen

Ihre zuletzt aufgerufenen Angebote

• Mathematik - Bibel, Wolfgang [Hrsg.]: 5. Conference on Automated Deduction : Les Arcs, France, July ...

Sparen Sie Versandkosten beim Kauf ähnlicher Angebote dieses Anbieters

Mathematik - Goos, Gerhard [Hrsg.]:
DIANA, an intermediate language for ADA : rev. version. ed. by G. Goos ..., Lecture notes in computer science , 161

EUR 12,00
Details zum Buch...

Mathematik - Dahlberg, Gunnar:
Mathematische Erblichkeitsanalyse von Populationen Uppsala, Almquist & Wiksells, 1943., BIOLOGIE; MATHEMATIK; MEDIZIN NATURWISSENSCHAFT, Gr.-8 . 219 pages. Original paperback. Acta Medica Scandinavica (Suppl.148). Original paperback. Acta Medica Scandinavica (Suppl.148).

EUR 20,00
Details zum Buch...

Mathematik - Popp, Werner:
Einführung in die Theorie der Lagerhaltung

EUR 18,00
Details zum Buch...

Mathematik - Guessarian, Irène:
Algebraic semantics. Lecture notes in computer science , 99

EUR 15,00
Details zum Buch...

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