Willkommen. Schön, sind Sie da!
Mein Ex Libris

Higher Order Logic Theorem Proving and Its Applications

(0)
Erste Bewertung abgeben
This book constitutes the proceedings of the 8th International Conference on Higher Order Logic Theorem Proving and Its Applicatio...

Tiefpreis

CHF112.80

Print on Demand - Exemplar wird für Sie besorgt.

Kartonierter Einband

Wird oft zusammen gekauft

Andere Kunden kauften auch