InfoGuide der TH Wildau (FH)

Onlinekatalog der TFH Wildau (1/1)

Mathematics mechanization and applications Verlagsort, Verlag, Jahr: San Diego, Academic Press, c2000 Umfangsangabe: 1 Online-Ressource (xix, 551 p.) Schlagwort: Computeralgebra Schlagwort2: Geometrische Modellierung Schlagwort3: Automatisches Beweisverfahren ISBN: 0-12-734760-7, 978-0-12-734760-8 in die Merkliste \| Persistenter Link Kopieren Sie diesen Link um auf dieses Werk Bezug zu nehmen: https://btwov60.bib-bvb.de/00/bvnr/BV036962216

Titel: Mathematics mechanization and applications Hrsg./Bearb.: Gao, Xiao-Shan Hrsg./Bearb.: Wang, Dongming Volltext: hier klicken Verfasserangabe: edited by Xiao-Shan Gao and Dongming Wang Verlagsort: San Diego Verlag: Academic Press ISBN: 0-12-734760-7 ISBN: 978-0-12-734760-8 Jahr: c2000 Umfangsangabe: 1 Online-Ressource (xix, 551 p.) Illustrationen: ill Allgemeine Bemerkung: Includes bibliographical references (p. 507-539) and index Schlagwort: Computeralgebra Schlagwort: Geometrische Modellierung Schlagwort: Automatisches Beweisverfahren