An Ostern «tütschen» wir die Preise: 10% Rabatt auf Bücher (DE und EN)! Jetzt profitieren
Willkommen. Schön, sind Sie da!
Mein Ex Libris

Theorem Proving in Higher Order Logics

(0)
Erste Bewertung abgeben
This book constitutes the refereed proceedings of the 12th International Conference on Theorem Proving in Higher Order Logics, TP...

CHF59.00

Download steht sofort bereit

Wird oft zusammen gekauft

Andere Kunden kauften auch