top

  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.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.
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 Computer science [MSC 2010] 68-XX
General logic [MSC 2010] 03Bxx
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui