Gesamtbeurteilung

Dieses Produkt beurteilen

Zurück zu 5th Conference on Automated Deduction. Les Arcs, France, July 8-11, 1980 (Lecture Notes in Computer Science Vol. 87)

Weitere Computer Angebote	ISBN
Schreiben mit dem Computer	3596113512
Debatte Kinderfernsehen. Analyse und Bewertung von TV- Programmen für Kinder.	389158220X
Neuronale Netze in der Unternehmungsplanung. Grundlagen, Entscheidungsunterstützung, Projektierung.	3800625083
Automatic Verification of Sequential Infinite-State Processes (Lecture Notes in Computer Science Vol. 1354)	3540639829
ESOP 86. European Symposium on Programming, Saarbrücken, Federal Republic of Germany, March 17-19, 1986. Proceedings (Lecture Notes in Computer Science Vol. 213)	3540164421