Produktinfo
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.
books4less - ein Shop
des Versandantiquariats
Petra Gros