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.
Set theory and logic / by Robert R. Stoll
Set theory and logic / by Robert R. Stoll
Autore Stoll, Robert Roth
Pubbl/distr/stampa New York, : Dover, 1979
Descrizione fisica XIV, 474 p. : ill. ; 22 cm
Soggetto topico 03Exx - Set theory [MSC 2020]
03Bxx - General logic [MSC 2020]
ISBN 978-04-86638-29-4
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN0050331
Stoll, Robert Roth  
New York, : Dover, 1979
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Set theory and logic / by Robert R. Stoll
Set theory and logic / by Robert R. Stoll
Autore Stoll, Robert Roth
Pubbl/distr/stampa New York, : Dover, 1979
Descrizione fisica XIV, 474 p. : ill. ; 22 cm
Soggetto topico 03Bxx - General logic [MSC 2020]
03Exx - Set theory [MSC 2020]
ISBN 978-04-86638-29-4
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN00050331
Stoll, Robert Roth  
New York, : Dover, 1979
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Symbolic computation and automated reasoning : CALCULEMUS-2000 symposium / edited by Manfred Kerber, Michael Kohlhase
Symbolic computation and automated reasoning : CALCULEMUS-2000 symposium / edited by Manfred Kerber, Michael Kohlhase
Pubbl/distr/stampa Natick, : Peters, 2001
Descrizione fisica XI, 270 p. : ill. ; 23 cm.
Soggetto topico 68Qxx - Theory of computing [MSC 2020]
68Txx - Artificial intelligence [MSC 2020]
68Wxx - Algorithms in computer science [MSC 2020]
03Bxx - General logic [MSC 2020]
ISBN 15-688-1145-4
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-SUN0055603
Natick, : Peters, 2001
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Symbolic computation and automated reasoning : CALCULEMUS-2000 symposium / edited by Manfred Kerber, Michael Kohlhase
Symbolic computation and automated reasoning : CALCULEMUS-2000 symposium / edited by Manfred Kerber, Michael Kohlhase
Pubbl/distr/stampa Natick, : Peters, 2001
Descrizione fisica XI, 270 p. : ill. ; 23 cm
Soggetto topico 68Qxx - Theory of computing [MSC 2020]
68Txx - Artificial intelligence [MSC 2020]
68Wxx - Algorithms in computer science [MSC 2020]
03Bxx - General logic [MSC 2020]
ISBN 15-688-1145-4
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN0055603
Natick, : Peters, 2001
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Symbolic computation and automated reasoning : CALCULEMUS-2000 symposium / edited by Manfred Kerber, Michael Kohlhase
Symbolic computation and automated reasoning : CALCULEMUS-2000 symposium / edited by Manfred Kerber, Michael Kohlhase
Pubbl/distr/stampa Natick, : Peters, 2001
Descrizione fisica XI, 270 p. : ill. ; 23 cm
Soggetto topico 03Bxx - General logic [MSC 2020]
68Qxx - Theory of computing [MSC 2020]
68Txx - Artificial intelligence [MSC 2020]
68Wxx - Algorithms in computer science [MSC 2020]
ISBN 15-688-1145-4
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN00055603
Natick, : Peters, 2001
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Temporal Type Theory : A Topos-Theoretic Approach to Systems and Behavior / Patrick Schultz, David I. Spivak
Temporal Type Theory : A Topos-Theoretic Approach to Systems and Behavior / Patrick Schultz, David I. Spivak
Autore Schultz, Patrick
Pubbl/distr/stampa Cham, : Birkhäuser, 2019
Descrizione fisica viii, 235 p. : ill. ; 24 cm
Altri autori (Persone) Spivak, David I.
Soggetto topico 18B25 - Topoi [MSC 2020]
03G30 - Categorical logic, topoi [MSC 2020]
03Bxx - General logic [MSC 2020]
18F20 - Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) [MSC 2020]
93-10 - Mathematical modeling or simulation for problems pertaining to systems and control theory [MSC 2020]
Soggetto non controllato Category Theory
Hybrid dynamical systems
Sheave theory
Systems engineering
Temporal type theory
Topoi
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Titolo uniforme
Record Nr. UNICAMPANIA-VAN0127200
Schultz, Patrick  
Cham, : Birkhäuser, 2019
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Temporal Type Theory : A Topos-Theoretic Approach to Systems and Behavior / Patrick Schultz, David I. Spivak
Temporal Type Theory : A Topos-Theoretic Approach to Systems and Behavior / Patrick Schultz, David I. Spivak
Autore Schultz, Patrick
Pubbl/distr/stampa Cham, : Birkhäuser, 2019
Descrizione fisica viii, 235 p. : ill. ; 24 cm
Altri autori (Persone) Spivak, David I.
Soggetto topico 03Bxx - General logic [MSC 2020]
03G30 - Categorical logic, topoi [MSC 2020]
18B25 - Topoi [MSC 2020]
18F20 - Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) [MSC 2020]
93-10 - Mathematical modeling or simulation for problems pertaining to systems and control theory [MSC 2020]
Soggetto non controllato Category Theory
Hybrid dynamical systems
Sheave theory
Systems engineering
Temporal type theory
Topoi
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Titolo uniforme
Record Nr. UNICAMPANIA-VAN00127200
Schultz, Patrick  
Cham, : Birkhäuser, 2019
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Temporal Type Theory : A Topos-Theoretic Approach to Systems and Behavior / Patrick Schultz, David I. Spivak
Temporal Type Theory : A Topos-Theoretic Approach to Systems and Behavior / Patrick Schultz, David I. Spivak
Autore Schultz, Patrick
Edizione [Cham : Birkhäuser, 2019]
Pubbl/distr/stampa viii, 235 p., : ill. ; 24 cm
Descrizione fisica Pubblicazione in formato elettronico
Altri autori (Persone) Spivak, David I.
Soggetto topico 18B25 - Topoi [MSC 2020]
03G30 - Categorical logic, topoi [MSC 2020]
03Bxx - General logic [MSC 2020]
18F20 - Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) [MSC 2020]
93-10 - Mathematical modeling or simulation for problems pertaining to systems and control theory [MSC 2020]
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-SUN0127200
Schultz, Patrick  
viii, 235 p., : ill. ; 24 cm
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
The classical decision problem / Egon Boerger, Erich Grädel, Yuri Gurevich
The classical decision problem / Egon Boerger, Erich Grädel, Yuri Gurevich
Autore Börger, Egon
Pubbl/distr/stampa Berlin, : Springer, 1997
Descrizione fisica XII, 482 p : ill ; 24 cm.
Altri autori (Persone) Grädel, Erich
Gurevich, Yuri
Soggetto topico 68Qxx - Theory of computing [MSC 2020]
03Dxx - Computability and recursion theory [MSC 2020]
03Cxx - Model theory [MSC 2020]
03Bxx - General logic [MSC 2020]
ISBN 03-87570-73-X
978-35-405-7073-8
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-SUN0053137
Börger, Egon  
Berlin, : Springer, 1997
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
The classical decision problem / Egon Boerger, Erich Grädel, Yuri Gurevich
The classical decision problem / Egon Boerger, Erich Grädel, Yuri Gurevich
Autore Börger, Egon
Pubbl/distr/stampa Berlin, : Springer, 1997
Descrizione fisica XII, 482 p : ill ; 24 cm
Altri autori (Persone) Grädel, Erich
Gurevich, Yuri
Soggetto topico 68Qxx - Theory of computing [MSC 2020]
03Dxx - Computability and recursion theory [MSC 2020]
03Cxx - Model theory [MSC 2020]
03Bxx - General logic [MSC 2020]
ISBN 03-87570-73-X
978-35-405-7073-8
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN0053137
Börger, Egon  
Berlin, : Springer, 1997
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui