Bookbot
1/4

Mechanizing Proof

Autoren

Parameter

ISBN
9780262632959
Verlag
MIT Press

Kategorien

Buchvariante

2004, paperback

Buchkauf

Dieses Buch ist derzeit nicht auf Lager.