Das Buch ist derzeit nicht auf Lager

Theorem proving in higher order logics

Autoren

David A. Basin

Parameter

ISBN: 9783540406648
Verlag: Springer

Kategorien

Deine Änderungsvorschläge

Buchvariante

2003, paperback

Buchkauf

Dieses Buch ist derzeit nicht auf Lager.