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.
1: Background : mathematical structures / S. Abramsky, Dov M. Gabbay, T. S. E. Maibaum editors ; volume co-ordinator Dov M. Gabbay
| 1: Background : mathematical structures / S. Abramsky, Dov M. Gabbay, T. S. E. Maibaum editors ; volume co-ordinator Dov M. Gabbay |
| Pubbl/distr/stampa | Oxford, : Clarendon, 1992 |
| Descrizione fisica | XII, 827 p. ; 24 cm. |
| Soggetto topico |
68-XX - Computer science [MSC 2020]
03Bxx - General logic [MSC 2020] |
| ISBN | 01-985373-5-2 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0050957 |
| Oxford, : Clarendon, 1992 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
1: Background : mathematical structures / S. Abramsky, Dov M. Gabbay, T. S. E. Maibaum editors ; volume co-ordinator Dov M. Gabbay
| 1: Background : mathematical structures / S. Abramsky, Dov M. Gabbay, T. S. E. Maibaum editors ; volume co-ordinator Dov M. Gabbay |
| Pubbl/distr/stampa | Oxford, : Clarendon, 1992 |
| Descrizione fisica | XII, 827 p. ; 24 cm |
| Soggetto topico |
68-XX - Computer science [MSC 2020]
03Bxx - General logic [MSC 2020] |
| ISBN | 01-985373-5-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0050957 |
| Oxford, : Clarendon, 1992 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
1: Background : mathematical structures / S. Abramsky, Dov M. Gabbay, T. S. E. Maibaum editors ; volume co-ordinator Dov M. Gabbay
| 1: Background : mathematical structures / S. Abramsky, Dov M. Gabbay, T. S. E. Maibaum editors ; volume co-ordinator Dov M. Gabbay |
| Pubbl/distr/stampa | Oxford, : Clarendon, 1992 |
| Descrizione fisica | XII, 827 p. ; 24 cm |
| Soggetto topico |
03Bxx - General logic [MSC 2020]
68-XX - Computer science [MSC 2020] |
| ISBN | 01-985373-5-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00050957 |
| Oxford, : Clarendon, 1992 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Handbook of logic in computer science / edited by S. Abramsky, Dov M. Gabbay and T. S. E. Maibaum
| Handbook of logic in computer science / edited by S. Abramsky, Dov M. Gabbay and T. S. E. Maibaum |
| Pubbl/distr/stampa | Oxford : Clarendon, 1992- |
| Descrizione fisica | v. ; 24 cm. |
| ISBN | 01-985373-5-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0050956 |
| Oxford : Clarendon, 1992- | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Handbook of logic in computer science / edited by S. Abramsky, Dov M. Gabbay and T. S. E. Maibaum
| Handbook of logic in computer science / edited by S. Abramsky, Dov M. Gabbay and T. S. E. Maibaum |
| Pubbl/distr/stampa | Oxford, : Clarendon, 1992- |
| Descrizione fisica | v. ; 24 cm. |
| ISBN | 01-985373-5-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0050956 |
| Oxford, : Clarendon, 1992- | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Handbook of logic in computer science / edited by S. Abramsky, Dov M. Gabbay and T. S. E. Maibaum
| Handbook of logic in computer science / edited by S. Abramsky, Dov M. Gabbay and T. S. E. Maibaum |
| Pubbl/distr/stampa | Oxford, : Clarendon, 1992- |
| Descrizione fisica | v. ; 24 cm. |
| ISBN | 01-985373-5-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00050956 |
| Oxford, : Clarendon, 1992- | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||