Mitteilungen aus dem Mathem. Seminar Giessen, Heft 233, Interactive Theorem Proving in Symbolic Incidence Geometry
Language: немецкий.Country: Германия.Publication: Giessen : 1998Description: 214 p.ISBN: 03738221.Subject: математика | сообщения | геометрия| Cover image | Item type | Current library | Home library | Collection | Shelving location | Call number | Materials specified | Vol info | URL | Copy number | Status | Notes | Date due | Barcode | Item holds | Item hold queue priority | Course reserves | |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Books | НТБ ТПУ Научный фонд | 99-1462 | Available | 13821000010312 |
Total holds: 0
There are no comments on this title.
Log in to your account to post a comment.