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 62 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 - Fiacco, Anthony V. [Hrsg.]:
Extremal methods and systems analysis : an Internat. Symposium on the Occasion of Prof. Abraham Charnes' 60. Birthday, Austin, Texas, Sept. 13-15, 1977. ed. by A. V. Fiacco and K. O. Kortanek, Lecture notes in economics and mathematical systems , 174

EUR 30,00
Details zum Buch...

Geographie - Merriam, Daniel F.
Geostatistics

EUR 35,00
Details zum Buch...

Mathematik - Boer, Paul M. C. de:
Price effects in input-output relations : a theoret. and empir. study for the Netherlands 1949-1967. Lecture notes in economics and mathematical systems , 201

EUR 12,00
Details zum Buch...

Mathematik - Duijvestijn, Arie J. W. [Hrsg.]:
Trends in Information Processing Systems : 3. Conference of the European Cooperation in Informatics, Munich, Oct. 20-22, 1981, proceedings. ed. by A. J. W. Duijvestijn and P. C. Lockemann, Lecture notes in computer science , 123

EUR 22,00
Details zum Buch...

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