Mechanical theorem proving in geometries basic principles

Literaturverz. S. [281] - 284

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Wu, Wenjun (VerfasserIn, BerichterstatterIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Wien u.a. Springer 1994
Schriftenreihe:	Texts and monographs in symbolic computation
Schlagworte:	Geometry > Data processing > Automatic theorem proving > Automatisches Beweisverfahren > Geometrie > Theorem
Online Zugang:	Inhaltsverzeichnis Inhaltstext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!