Theorem Proving in Higher Order Logics

Författare
Stefan Berghofer
Genre
Electronic books
Språk
Okänt
Förlag År Ort Om boken ISBN
Springer Verlag 2009 Utgivningsland okänt / Ej specificerat