Normal view
MARC view
Automates (Topical Term)
Machine generated authority record.
Work cat.: (AT-ISTA): Symposium "Rekursive Kombinatorik" (1983 : Institut für Mathematische Logik und Grundlagenforschung der Universität Münster/Westfalen) 37353, Logic and machines :, 1984.