Format:
1 Online-Ressource (xix, 551 p.)
,
ill
,
26 cm
Edition:
Online-Ausgabe Elsevier e-book collection on ScienceDirect Sonstige Standardnummer des Gesamttitels: 041169-3
ISBN:
0127347607
,
9780127347608
Note:
Includes bibliographical references (p. 507-539) and index
Additional Edition:
Reproduktion von Mathematics mechanization and applications c2000
Language:
English
Subjects:
Computer Science
,
Mathematics
Keywords:
Computeralgebra
;
Geometrische Modellierung
;
Automatisches Beweisverfahren
;
Aufsatzsammlung
;
Electronic books
;
Electronic books
;
Aufsatzsammlung
URL:
https://doi.org/10.1016/B978-0-12-734760-8.X5000-5
Bookmarklink