Higher Order Logic Theorem Proving and its Applications

Författare
L.J.M. Claesen
Språk
Engelska
Förlag År Ort Om boken ISBN
North-Holland 1993 Utgivningsland okänt / Ej specificerat