Format:
Online-Ressource
ISBN:
9783540685227
Series Statement:
Lecture Notes in Computer Science 1095
Additional Edition:
ISBN 9783540613985
Additional Edition:
Buchausg. u.d.T. McCune, William, 1953 - 2011 Automated deduction in equational logic and cubic curves Berlin : Springer, 1996 ISBN 3540613986
Language:
English
Subjects:
Computer Science
Keywords:
Gleichungstheorie
;
Automatisches Beweisverfahren
;
Algebraische Kurve
;
Automatisches Beweisverfahren
DOI:
10.1007/3-540-61398-6
URL:
Volltext
(lizenzpflichtig)
URL:
Volltext
(lizenzpflichtig)
URL:
Volltext
(lizenzpflichtig)
Author information:
McCune, William 1953-2011