Product Information
Automatisierung von Terminierungsbeweisen
by Walther, Christoph
Braunschweig : Vieweg
9783528047719
year: 1991
253 Seiten
Broschiert
order number: 2166062
description
Das Buch befindet sich in einem gut erhaltenen Zustand.
books4less - a shop
from Versandantiquariat
Petra Gros