Automated deduction in equational logic and cubic curves /

"This monograph is the result of the cooperation of 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 and then intensified thei...

Full description

Bibliographic Details

Main Author:	McCune, W. (William)
Corporate Author:	SpringerLink (Online service)
Other Authors:	Padmanabhan, R. (Ranganathan), 1938-
Format:	eBook
Language:	English
Published:	Berlin ; New York : Springer, [1996]
Series:	Lecture notes in computer science ; 1095. Lecture notes in computer science. Lecture notes in artificial intelligence.
Subjects:	Automatic theorem proving. Curves, Algebraic. géométrie algébrique. théorie équationnelle. courbe algébrique. logique équationnelle. déduction automatique. Courbes algébriques. Théorèmes > Démonstration automatique. Automatische bewijsvoering. Preuve, Théorie de la. Gleichungstheorie. Automatisches Beweisverfahren. Algebraische Kurve. Electronic books.
Online Access:	Connect to the full text of this electronic book