Katalog der ZIB-Bibliothek

Titelsatz

Anzeigeformat

Satz 1 von 1

	Mechanical theorem proving in geometries: basic principles
1. Person/Familie	Wu, Wen-tsün
Titel	Mechanical theorem proving in geometries: basic principles
Verlagsort	Wien u.a.
Verlag	Springer
E-Jahr	1994
Umfangsangabe	287 S.
HT 1. Reihe u. Zähl.	Reihe: Texts and monographs of symbolic computation
ISBN	3-211-82506-1
Notation	03B35
Notation	03-02
Notation	68T15
Notation	68Q40
Notation	68-02
Notation	68U05
Notation	14Qxx
Notation	5.21 W
Bestand	1
Sign-Info	03B35 Wu

Hinweise zur Anzeige im Standardformat:

Klicken Sie auf eine unterstrichene Feldbezeichnung, um zur Indexliste zu kommen.
Klicken Sie auf Bestand, um zur Bestandsliste zu gelangen und ggf. zu bestellen.
Klicken Sie auf einen unterstrichenen Feldinhalt, um verwandte Titel zu sehen.
Klicken Sie auf den Pfeil, um verknüpfte Sätze aufzurufen.

Mechanical theorem proving in geometries: basic principles