Frohe Weihnachten und wunderbare Buchmomente!

Bookbot
Das Buch ist derzeit nicht auf Lager

Theorem proving in higher order logics

Autoren

Parameter

ISBN
9783540664635
Verlag
Springer

Kategorien

Deine Änderungsvorschläge

Buchvariante

1999

Buchkauf

Wir benachrichtigen dich per E-Mail.