ISBN 3528047712 books & textbook

Automatisierung von Terminierungsbeweisen (Künstliche Intelligenz) (German Edition)

Vieweg+Teubner Verlag /1991-01-01 Paperback / 253 Pages
isbn-10: 3528047712 / isbn-13: 9783528047719