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 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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui
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
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
Pubbl/distr/stampa [Cham], : Birkhäuser, : Springer, 2016
Descrizione fisica XIV, 276 p. : ill. ; 24 cm
Soggetto topico 03C80 - Logic with extra quantifiers and operators [MSC 2020]
03B16 - Higher-order logic [MSC 2020]
03B70 - Logic in computer science [MSC 2020]
03B38 - Type theory [MSC 2020]
Soggetto non controllato Dependence Atoms
Dependence Logic
Dependencies in Databases
Independence Logic
Inquisitive Logic
Social Choice Theorem
Theory of Secret-Sharing
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Titolo uniforme
Record Nr. UNICAMPANIA-VAN0114602
[Cham], : Birkhäuser, : Springer, 2016
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
Pubbl/distr/stampa [Cham], : Birkhäuser, : Springer, 2016
Descrizione fisica XIV, 276 p. : ill. ; 24 cm
Soggetto topico 03B16 - Higher-order logic [MSC 2020]
03B38 - Type theory [MSC 2020]
03B70 - Logic in computer science [MSC 2020]
03C80 - Logic with extra quantifiers and operators [MSC 2020]
Soggetto non controllato Dependence Atoms
Dependence Logic
Dependencies in Databases
Independence Logic
Inquisitive Logic
Social Choice Theorem
Theory of Secret-Sharing
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Titolo uniforme
Record Nr. UNICAMPANIA-VAN00114602
[Cham], : Birkhäuser, : Springer, 2016
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 03C80 - Logic with extra quantifiers and operators [MSC 2020]
03B16 - Higher-order logic [MSC 2020]
03B70 - Logic in computer science [MSC 2020]
03B38 - Type theory [MSC 2020]
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
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
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-VAN00050956
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