Theorem Proving in Higher Order Logics

Författare
TPHOLs '98
Språk
Engelska
Förlag År Ort Om boken ISBN
Springer Berlin Heidelberg 1998 Utgivningsland okänt / Ej specificerat