Custom cover image
Mechanical theorem proving in geometries : basic principles / Wen-tsün Wu. Transl. from the Chinese by Xiaofan Jin ...
Contributor(s): Resource type: Ressourcentyp: BuchBookLanguage: English Series: Texts and monographs in symbolic computationPublisher: Wien [u.a.] : Springer, 1994Description: XIV, 288 S. : graph. DarstISBN:- 3211825061
- 0387825061
- Basic principles of mechanical theorem proving geometries <chines.>
- Wu, Wen-Tsun. Basic principles of mechanical theorem proving geometries <chines.>
- QA448.D38
Contents:
PPN: PPN: 14825716X
| Item type | Home library | Collection | Shelving location | Call number | Status | Barcode | |
|---|---|---|---|---|---|---|---|
| Freihandbestand ausleihbar | Fachbibliothek Informatik | F.Wu | Bibliothek / frei aufgestellt | F.Wu(18698) | Available | 000208338090 |
Total holds: 0