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.
Computer science logic : 5. workshop, CSL '91 : Berne, Switzerland, October 7-11, 1991 : proceedings / E. Borger ... [et al.] (eds.)
| Computer science logic : 5. workshop, CSL '91 : Berne, Switzerland, October 7-11, 1991 : proceedings / E. Borger ... [et al.] (eds.) |
| Autore | Workshop on computer science logic : <5. : ; 1991 |
| Pubbl/distr/stampa | Berlin [etc.], : Springer, 1992 |
| Descrizione fisica | VIII, 428 p. ; 25 cm |
| Disciplina |
004
004.015113 |
| Collana | Lecture notes in computer science |
| Soggetto topico | LOGICA MATEMATICA - CONGRESSI - 1991 |
| ISBN |
038755789X
354055789X |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISANNIO-AQ10013506 |
Workshop on computer science logic : <5. : ; 1991
|
||
| Berlin [etc.], : Springer, 1992 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Sannio | ||
| ||
Logic and algebra of specification / edited by Friedrich L. Bauer, Wilfried Brauer, Helmut Schwichtenberg
| Logic and algebra of specification / edited by Friedrich L. Bauer, Wilfried Brauer, Helmut Schwichtenberg |
| Pubbl/distr/stampa | Berlin [etc.], : Springer, c1993 |
| Descrizione fisica | 442 p. ; 25 cm |
| Disciplina |
004.01
004.015113 |
| Collana | NATO ASI series, . Series F, Computer and systems sciences |
| Soggetto topico |
LOGICA MATEMATICA - CONGRESSI - 1991
Informatica - Metodi matematici CONGRESSI - MARKTOBERDORF - 1991 |
| ISBN |
0387558136
3540558136 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISANNIO-AQ10001456 |
| Berlin [etc.], : Springer, c1993 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Sannio | ||
| ||
