Theorem Proving with Analytic Tableaux and Related Methods

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