Umfang:
Online-Ressource
ISBN:
9783540685227
Serie:
Lecture Notes in Computer Science 1095
Weitere Ausg.:
ISBN 9783540613985
Weitere Ausg.:
Buchausg. u.d.T. McCune, William, 1953 - 2011 Automated deduction in equational logic and cubic curves Berlin : Springer, 1996 ISBN 3540613986
Sprache:
Englisch
Fachgebiete:
Informatik
Schlagwort(e):
Gleichungstheorie
;
Automatisches Beweisverfahren
;
Algebraische Kurve
;
Automatisches Beweisverfahren
DOI:
10.1007/3-540-61398-6
URL:
Volltext
(lizenzpflichtig)
URL:
Volltext
(lizenzpflichtig)
URL:
Volltext
(lizenzpflichtig)
Mehr zum Autor:
McCune, William 1953-2011