Mathematics mechanization and applications

Gespeichert in:

Bibliographische Detailangaben
Weitere Verfasser:	Gao, Xiao-Shan (HerausgeberIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	San Diego, Calif. u.a. Academic Press 2000
Schlagworte:	Programming (Mathematics) > Aufsatzsammlung > Automatisches Beweisverfahren > Computeralgebra
Online Zugang:	Inhaltstext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!