Automated deduction in equational logic and cubic curves
Auteur :
Mc / McCune, William
Éditeur :
McCune, WilliamPadmanabhan, R.,
ISBN :
9783540613985
Date de publication :
12 juin 1996
Dimensions :
23,3 x 15,5 x 1,3 cm
Poids :
790 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
This text resulted from co-operation between a mathematician working in universal algebra and geometry, and a computer scientist working in automated deduction, who succeeded in employing the theorem prover Otter for proving first order theorems from mathematics. This book presents their results.