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 87 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 - Becvár, Jirí [Hrsg.]:
Mathematical foundations of computer science. - Berlin [West] : Springer 8. 1979., Olomouc, Czechoslovakia, Sept. 3-7, 1979 / ed. by J. Becvár

EUR 28,00
Details zum Buch...

Mathematik - Krüger, Gerhard [Hrsg.]:
Fachtagung Prozeßrechner 1974 [neunzehnhundertvierundsiebzig] : Karlsruhe, 10.-11. Juni 1974. hrsg. von Gerhard Krüger u. Rüdiger Friehmelt, Lecture notes in computer science , 12

EUR 25,00
Details zum Buch...

Mathematik - Astesiano, Egidia [Hrsg.]:
Trees in algebra and programming : 6. colloquium, Genoa, March 5-7, 1981 , proceedings. CAAP '81. Ed. by E. Astesiano and C. Böhm, Lecture notes in computer science , 112

EUR 15,00
Details zum Buch...

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...

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