E-Book

Mathematics mechanization and applications

Gespeichert in:

Bibliographische Angaben
Körperschaft:	ScienceDirect (Online service), (Sonstige Person, Familie und Körperschaft)
Beteiligte:	Gao, Xiao-Shan, 1963- (HerausgeberIn)
Medientyp:	E-Book
Sprache:	Englisch
Veröffentlicht:	San Diego, Calif. [u.a.] : Academic Press, c2000
Umfang:	Online Ressource (xix, 551 p.) : graph. Darst.
Gedruckte Ausgabe:	Druckausg.: Mathematics mechanization and applications. - San Diego, Calif. [u.a.] : Academic Press, 2000. - XIX, 551 S.
Bibliogr. Zusammenhang:	Print version: Mathematics mechanization and applications
ISBN:	9780127347608 0127347607
Anmerkungen:	Includes bibliographical references (p. 507-539) and index. - Description based on print version record Electronic reproduction; Mode of access: World Wide Web
Schlagwörter:	Automatisches Beweisverfahren Equations > Numerical solutions > Data processing Automatic theorem proving Equations Equations ; Numerical solutions ; Data processing Aufsatzsammlung Automatisches Beweisverfahren Computeralgebra Geometrische Modellierung Electronic books Aufsatzsammlung
Basisklassifikation:	54.71 Logikprogrammierung
DOI:	10.1016/B978-0-12-734760-8.X5000-5
Sekundärausgabe:	Online-Ausg.
Veröffentlichungsangabe:	Amsterdam : Elsevier Science & Technology, 2007
Gesamttitel:	Elsevier e-book collection on ScienceDirect
Anmerkung:	Electronic reproduction; Mode of access: World Wide Web
Umfang:	Online-Ressource
Mehr zum Titel:	Inhaltsverzeichnis