Efficient interpolation for the intuitionistic sequent calculus Chemnitzer Infor
8,15 €
Technische Universität Chemnitz 2000. 10 Seiten; Heft Sprache: Englisch Bestell-Nr: 1448958 Bemerkungen: Der Erhaltungszustand des hier angebotenen Werks ist trotz seiner Bibliotheksnutzung sehr sauber. Es befindet sich lediglich ein Bibliotheksstempel im Heft; ordnungsgemäß entwidmet. Englische Sprache. .
Jetzt bei Ebay:
