Umfang:
1 Online-Ressource (xix, 551 p.)
,
ill
,
26 cm
Ausgabe:
Online-Ausgabe Elsevier e-book collection on ScienceDirect Sonstige Standardnummer des Gesamttitels: 041169-3
ISBN:
0127347607
,
9780127347608
Anmerkung:
Includes bibliographical references (p. 507-539) and index
Weitere Ausg.:
Reproduktion von Mathematics mechanization and applications c2000
Sprache:
Englisch
Schlagwort(e):
Computeralgebra
;
Geometrische Modellierung
;
Automatisches Beweisverfahren
;
Aufsatzsammlung