Title: Automated deduction in equational logic and cubic curves
First published: 1996
Subjects: Algebraic Curves, Automatic theorem proving, Curves, Algebraic, Algebraische Kurve, Gleichungstheorie, Automatische bewijsvoering, Deduktion, Mathematische Logik, Theorie de la Preuve, Automatisches Beweisverfahren, Demonstration automatique, Theoremes, Algebraic Geometry, Computer graphics, Symbolic and mathematical Logic, Computer science, Artificial intelligence
LC classification: QA76.9.A96 M38 1996