Mathematik - Loveland, D. W. [Hrsg.]: 6. Conference on Automated Deduction : New York, USA, June 7-9, 1982. ed. by D. W. Loveland, Lecture notes in computer science , 138 Berlin [West] , Heidelberg , New York : Springer, 1982.

Die Antiquariatsbuchplattform von

Sie haben keine Artikel im Warenkorb.

Artikelbeschreibung

Mathematik - Loveland, D. W. [Hrsg.]:
6. Conference on Automated Deduction : New York, USA, June 7-9, 1982. ed. by D. W. Loveland, Lecture notes in computer science , 138
Berlin [West] , Heidelberg , New York : Springer, 1982.
ISBN/EAN: 9783540115588

gefunden im Sachgebiet: Mathematik

VII, 389 S. : graph. Darst. , 24 cm

Literaturangaben, sehr guter Zustand

[SW: Programmiersprachen , Automatische Deduktion , Künstliche Intelligenz , Abstrakter Automat , Automatentheorie , Programm (Datenverarbeitung)]
Programmiersprachen, Automatische, Deduktion, Künstliche, Intelligenz, Abstrakter, Automat, Automatentheorie, Programm, (Datenverarbeitung)

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

In den Warenkorb

Dieses Angebot wurde bereits 83 mal aufgerufen

Ihre zuletzt aufgerufenen Angebote

• Mathematik - Loveland, D. W. [Hrsg.]: 6. Conference on Automated Deduction : New York, USA, June 7-9 ...

Sparen Sie Versandkosten beim Kauf ähnlicher Angebote dieses Anbieters

Mathematik - Wieleitner, H.Dr.
Geschichte der Mathematik II von 1700 bis Mitte des 19.Jahrhunderts, Sammlung Göschen Band II

EUR 20,00
Details zum Buch...

Mathematik - Gericke, Helmuth
Mathematik in Antike und Orient Mathematik im Abendland, von den römischen Feldmessern bis zu Descartes 3.Aufl.Sonderausg.

EUR 10,00
Details zum Buch...

Gauss, F. G.:
Fünfstellige vollständige logarithmische und trigonometrische Tafeln (Sexagesimal unterteilter Altgrad) 441.-450. Auflage Herausgegeben von H. H. Gobbin, Bearbeitet von H. Kauderer

EUR 10,23
Details zum Buch...

Keller, Herbert B.:
Numerical Methods for Two-Point Boundary-Value Problems

EUR 23,01
Details zum Buch...

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