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
Dependence logic : theory and applications / Samson Abramsky ... [et al.] editors
Dependence logic : theory and applications / Samson Abramsky ... [et al.] editors
Edizione [[Cham] : Birkhäuser : Springer, 2016]
Pubbl/distr/stampa XIV, 276 p. : ill. ; 24 cm
Descrizione fisica Pubblicazione in formato elettronico
Soggetto topico Logic with extra quantifiers and operators [MSC 2010] 03C80
Higher-order logic and type theory [MSC 2010] 03B15
Logic in computer science [MSC 2010] 03B70
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-SUN0114602
XIV, 276 p. : ill. ; 24 cm
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
Mathematical foundations of information flow : Clifford Lectures Information Flow in Physics, Geometry, and Logic and Computation, March 12-15, 2008, Tulane University, New Orleans, Louisiana / Samson Abramsky, Michael Mislove, editors
Mathematical foundations of information flow : Clifford Lectures Information Flow in Physics, Geometry, and Logic and Computation, March 12-15, 2008, Tulane University, New Orleans, Louisiana / Samson Abramsky, Michael Mislove, editors
Pubbl/distr/stampa Providence : American Mathematical Society, 2012
Descrizione fisica XI, 267 p. ; 26 cm
Disciplina 512'.62
Collana Proceedings of symposia in applied mathematics
Soggetto non controllato Atti di conferenze di interesse specifico vario
Category theory - Abstract homological algebra - Atti di conferenze
Gruppi topologici - Gruppi di Lie - Atti di conferenze
ISBN 978-0-8218-4923-1
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-990009636740403321
Providence : American Mathematical Society, 2012
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui