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

von Christoph Walther Taschenbuch Details (Deutschland) ISBN: 978-3-528-04771-9 ISBN-10: 3-528-04771-2 Vieweg+Teubner Verlag · 1991