Automatisierung von Terminierungsbeweisen

Automatisierung von Terminierungsbeweisen
von Walther, Christoph
Braunschweig : Vieweg
9783528047719
Jahr: 1991
253 Seiten
Broschiert
Bestellnummer: 2166062

Beschreibung
Das Buch befindet sich in einem gut erhaltenen Zustand.