Automated deduction in equational logic and cubic curves

Författare
William MacCune
(W. Mc Cune, R. Padmanabhan.)
Språk
Engelska
Förlag År Ort Om boken ISBN
Springer cop. 1996 Tyskland, Berlin