Künstliche Intelligenz Automatisierung Von Terminierungsbeweisen, (Paperback)

Künstliche Intelligenz Automatisierung Von Terminierungsbeweisen, (Paperback) Author: Vieweg+teubner Verlag ISBN: 9783528047719 Format: Paperback Publication Date: 1991-01-01 Page Count: 253