| Scheda: 1/1 | |
|---|---|
| Livello bibliografico | Monografia |
| Tipo di materiale | Testo a stampa |
| Autore principale | Dalzotto, Giorgio |
| Titolo | *On protocols for the automated discovery of the theorems in elementary geometry / Giorgio Dalzotto, T. Recio. |
| Pubblicazione | Pisa : Università, Dipartimento di Matematica, 2006 |
| Descrizione fisica | 28 p. ; 30 cm. |
| Lingua di pubblicazione | eng |
| Paese di pubblicazione | IT |
| Nomi | [Autore] Dalzotto, Giorgio
[Autore] Recio, T. [Autore] Università degli Studi <Pisa> : Dipartimento di Matematica L. Tonelli |
| Identificativo record | BP00018305 |
| Biblioteca | Collocazione | Inventario | Note di esemplare | Numero dei volumi o consistenze dei periodici | Fruizione |
|---|---|---|---|---|---|
| Biblioteca universitaria | Pubbl. Univ. Pisa 17. 1484 | 477141 |
Rimuovi da preferiti
Aggiungi a preferiti