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.
editoria elettronica personale con il Macintosh : Manuale di tecnica e stile / Mau- ro Boscarol, Marco De Rosa
| editoria elettronica personale con il Macintosh : Manuale di tecnica e stile / Mau- ro Boscarol, Marco De Rosa |
| Autore | Boscarol, Mauro |
| Pubbl/distr/stampa | Padova : Franco Muzzio, 1987 |
| Descrizione fisica | X, 207 p. : ill., 23 cm |
| Disciplina | 011.3 |
| Collana | Informatica. Nuove tecnologie |
| Soggetto non controllato | Word processing - Macintosh |
| ISBN | 88-7021-344-7 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001315320403321 |
Boscarol, Mauro
|
||
| Padova : Franco Muzzio, 1987 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Editoria elettronica personale con il Macintosh : manuale di tecnica e stile / Mauro Boscarol e Marco De Rosa
| Editoria elettronica personale con il Macintosh : manuale di tecnica e stile / Mauro Boscarol e Marco De Rosa |
| Autore | Boscarol, Mauro |
| Pubbl/distr/stampa | Padova, : F. Muzzio, 1987 |
| Descrizione fisica | 207 p. : ill. ; 23 cm. |
| Disciplina |
070.5028
070.502854165 686.22544 |
| Altri autori (Persone) | De Rosa, Marco |
| Collana | Informatica |
| Soggetto topico | Microelaboratori elettronici Macintosh - Impiego nella tipografia |
| ISBN | 8870213447 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISANNIO-CFI0118632 |
|
Boscarol, Mauro
|
||
| Padova, : F. Muzzio, 1987 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Sannio | ||
| ||
Foundations of logic and functional programming : Workshop Trento, Italy, December 15-19, 1986 / Edited by M. Boscarol ... [et al.]
| Foundations of logic and functional programming : Workshop Trento, Italy, December 15-19, 1986 / Edited by M. Boscarol ... [et al.] |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag, 1988 |
| Collana | Lecture notes in computer science |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001291110403321 |
| Berlin [etc.] : Springer-Verlag, 1988 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Foundations of logic and functional programming : workshop Trento, Italy, december 1986
| Foundations of logic and functional programming : workshop Trento, Italy, december 1986 |
| Pubbl/distr/stampa | Berlin [etc.] : Springer-Verlag |
| Descrizione fisica | IX, 218 p. |
| Collana | Lecture notes in computer science |
| ISBN | 3-540-19129-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990001322730403321 |
| Berlin [etc.] : Springer-Verlag | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
L' automazione del ragionamento matematico : dalla dimostrazione dei teoremi alla formazione dei concetti / Alan Bundy
| L' automazione del ragionamento matematico : dalla dimostrazione dei teoremi alla formazione dei concetti / Alan Bundy |
| Autore | Bundy, Alan |
| Edizione | [ed. italiana a cura di Mauro Boscarol] |
| Pubbl/distr/stampa | Padova : Franco Muzzio, 1986 |
| Descrizione fisica | XX, 425 p. : ill. ; 21 cm |
| Disciplina | 005131 |
| Collana | intelligenza artificiale e robotica |
| Soggetto non controllato | logica matematica |
| ISBN | 88-7021-292-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNISA-990000197160203316 |
|
Bundy, Alan
|
||
| Padova : Franco Muzzio, 1986 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
L'automazione del ragionamento matematico : dalla dimostrazione dei teoremi alla formazione dei concetti / Alan Bundy ; edizione italiana a cura di Mauro Boscarol
| L'automazione del ragionamento matematico : dalla dimostrazione dei teoremi alla formazione dei concetti / Alan Bundy ; edizione italiana a cura di Mauro Boscarol |
| Autore | Bundy, Alan |
| Pubbl/distr/stampa | Padova : Franco Muzzio editore, 1986 |
| Descrizione fisica | XX, 425 p. ; 21 cm |
| Disciplina | 006.3 |
| Collana | IAR Intelligenza artificiale e robotica |
| Soggetto non controllato | Intelligenza artificiale |
| ISBN | 88-7021-292-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNINA-990009911360403321 |
|
Bundy, Alan
|
||
| Padova : Franco Muzzio editore, 1986 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||