Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Categories, types and structures : an introduction to category theory for the working computer scientist / Andrea Asperti, Giuseppe Longo
| Categories, types and structures : an introduction to category theory for the working computer scientist / Andrea Asperti, Giuseppe Longo |
| Autore | ASPERTI, Andrea |
| Pubbl/distr/stampa | Cambridge (Mass.), : The MIT Press, 1991 |
| Descrizione fisica | XI, 306 p. : ill. ; 24 cm |
| Disciplina | 005.131 |
| Altri autori (Persone) | LONGO, Giuseppe <1947- > |
| Collana | Foundations of computing |
| Soggetto topico | Categorie matematiche - Informatica |
| ISBN | 0-262-01125-5 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990000141650203316 |
ASPERTI, Andrea
|
||
| Cambridge (Mass.), : The MIT Press, 1991 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Logica a informatica / Andrea Asperti, Agata Ciabattoni
| Logica a informatica / Andrea Asperti, Agata Ciabattoni |
| Autore | ASPERTI, Andrea |
| Pubbl/distr/stampa | Milano : McGraw-Hill, copyr. 1997 |
| Descrizione fisica | XXII, 230 p. : ill. ; 23 cm |
| Disciplina | 511.3 |
| Soggetto topico |
Informatica
Logica matematica |
| ISBN | 88-386-0757-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISA-990000258300203316 |
|
ASPERTI, Andrea
|
||
| Milano : McGraw-Hill, copyr. 1997 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Mathematical knowledge management : 3. International conference, MKM 2004 : Bialowieza, Poland, September 19-21, 2004 : Proceedings / Andrea Asperti, Grzegorz Bancerek, Andrzej Trybulec (eds.)
| Mathematical knowledge management : 3. International conference, MKM 2004 : Bialowieza, Poland, September 19-21, 2004 : Proceedings / Andrea Asperti, Grzegorz Bancerek, Andrzej Trybulec (eds.) |
| Pubbl/distr/stampa | Berlin [etc.] : Springer, copyr. 2004 |
| Descrizione fisica | X, 392 p. : ill. ; 24 cm. |
| Collana | Lecture notes in computer science |
| ISBN | 3-540-23029-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990002962080203316 |
| Berlin [etc.] : Springer, copyr. 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Mathematical knowledge management : 2. International conference, MKM 2003 : Bertinoro, Italy, February 16-18, 2003 : Proceedings / Andrea Asperti, Bruno Buchberger, James H. Davenport <eds.>
| Mathematical knowledge management : 2. International conference, MKM 2003 : Bertinoro, Italy, February 16-18, 2003 : Proceedings / Andrea Asperti, Bruno Buchberger, James H. Davenport <eds.> |
| Pubbl/distr/stampa | Berlin [etc.] : Springer, copyr. 2003 |
| Descrizione fisica | X, 223 p. : ill. ; 24 cm. |
| Collana | Lecture notes in computer science |
| ISBN | 3-540-00568-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990001756260203316 |
| Berlin [etc.] : Springer, copyr. 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||