Le teorie fisiche : un'analisi formale / Maria Luisa Dalla Chiara, Giuliano Toraldo Di Francia |
Autore | Dalla Chiara, Maria Luisa |
Pubbl/distr/stampa | Torino, : Boringhieri, 1981 |
Descrizione fisica | 134 p. ; 21 cm |
Soggetto topico | 00A79 (77-XX) - Physics [MSC 2020] |
ISBN | 978-88-339-9129-0 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ita |
Record Nr. | UNICAMPANIA-VAN0054261 |
Dalla Chiara, Maria Luisa | ||
Torino, : Boringhieri, 1981 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Le teorie fisiche : un'analisi formale / Maria Luisa dalla Chiara, Giuliano Toraldo di Francia |
Autore | Dalla Chiara, Maria Luisa |
Pubbl/distr/stampa | Torino, : Boringhieri, 1981 |
Descrizione fisica | 134 p. ; 21 cm |
Disciplina | 530 |
Altri autori (Persone) | Toraldo di Francia, Giuliano <1916-2011> |
Collana | Testi e manuali della scienza contemporanea, Serie di logica matematica |
Soggetto non controllato | Fondamenti della fisica |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ita |
Record Nr. | UNINA-990001115460403321 |
Dalla Chiara, Maria Luisa | ||
Torino, : Boringhieri, 1981 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Logic and Scientific Methods : Volume One of the Tenth International Congress of Logic, Methodology and Philosophy of Sciences, Florence, August 1995 / Edited by Maria Luisa Dalla Chiara ... [et al.] |
Autore | Dalla Chiara, Maria Luisa |
Pubbl/distr/stampa | Dordrecht [etc.], : Kluwer, 1997 |
Descrizione fisica | xviii, 532 p. ; 24 cm |
Disciplina | 509 |
Collana | Synthese Library |
Soggetto non controllato | Fondamenti della logica matematica e probabilità |
ISBN | 0-7923-4383-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990001362030403321 |
Dalla Chiara, Maria Luisa | ||
Dordrecht [etc.], : Kluwer, 1997 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Logic and Scientific Methods / Edited by Maria Luisa Dalla Chiara ... [e altri] |
Autore | INTERNATIONAL CONGRESS OF LOGIC, METHODOLOGY AND PHILOSOPHY OF SCIENCE, 10., Firenze, Agosto, 1995 |
Pubbl/distr/stampa | Dordrecht (NL) : Kluwer, c1997 |
Descrizione fisica | 2 v. (xviii, 532 ; xviii, 492 p.) ; 25 cm |
Disciplina | 501 |
Collana | Synthese Library |
Soggetto non controllato |
Epistemologia - Congressi
Logica - Congressi |
ISBN | 0-7923-4385-9 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990001357550403321 |
INTERNATIONAL CONGRESS OF LOGIC, METHODOLOGY AND PHILOSOPHY OF SCIENCE, 10., Firenze, Agosto, 1995 | ||
Dordrecht (NL) : Kluwer, c1997 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Logic in the 20th century : a series of papers on the present state and tendencies of studies / Maria Luisa Dalla Chiara, George Epstein, Petr Hajek, Tomas Havranek, David G. Holdsworth, Clifford A. Hooker, Gabriele Lollo, Ilkka Niiniluoto |
Pubbl/distr/stampa | Milano : Scientia, 1983 |
Disciplina | 515 |
Soggetto non controllato |
Statistica
Matematica |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990003971130403321 |
Milano : Scientia, 1983 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Modelli sintattici e semantici delle teorie elementari / Maria Luisa Dalla Chiara Scabia |
Autore | Dalla Chiara, Maria Luisa |
Pubbl/distr/stampa | Milano : Feltrinelli, 1968 |
Descrizione fisica | 240 p. ; 23 cm |
Collana | Filosofia della scienza |
Soggetto non controllato | Fondamenti delle scienze fisiche e naturali |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ita |
Record Nr. | UNINA-990001143460403321 |
Dalla Chiara, Maria Luisa | ||
Milano : Feltrinelli, 1968 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Modelli sintattici e semantici delle teorie elementari / Maria Luisa Dalla Chiara Scabia |
Autore | Dalla Chiara, Maria Luisa |
Pubbl/distr/stampa | Milano, : Feltrinelli, 1968 |
Descrizione fisica | 239 p. ; 23 cm. |
Collana | Filosofia della scienza |
Soggetto topico | Teoria scientifica |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ita |
Record Nr. | UNICAS-UFI0114562 |
Dalla Chiara, Maria Luisa | ||
Milano, : Feltrinelli, 1968 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Cassino | ||
|
Modelli sintattici e semantici delle teorie elementari / Maria Luisa Dalla Chiara Scabia |
Autore | Dalla Chiara, Maria Luisa |
Pubbl/distr/stampa | Milano : Feltrinelli, 1968 |
Descrizione fisica | 239 p. ; 23 cm |
Soggetto topico | Teoria scientifica |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | ita |
Record Nr. | UNISALENTO-991000203829707536 |
Dalla Chiara, Maria Luisa | ||
Milano : Feltrinelli, 1968 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. del Salento | ||
|
Quantum Computation and Logic : How Quantum Computers Have Inspired Logical Investigations / Maria Luisa Dalla Chiara ... [et al.] |
Pubbl/distr/stampa | Cham, : Springer, 2018 |
Descrizione fisica | xvi, 178 p. : ill. ; 24 cm |
Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
00A30 - Philosophy of mathematics [MSC 2020] 03B70 - Logic in computer science [MSC 2020] 81P45 - Quantum information, communication, networks (quantum-theoretic aspects) [MSC 2020] 03Axx - Philosophical aspects of logic and foundations [MSC 2020] |
Soggetto non controllato |
Ambiguity in Natural and Artistic Languages
Classical and Quantum Turing Machines Entanglement Epistemic Operators Individuals, Quantifiers and Epistemic Operators Mathematical Environment of Quantum Information Non-classical logics Quantum Computer Quantum Entanglement Quantum Information and Quantum Logical Gates Quantum Logic Quantum Logical Circuits to Quantum Computational Logics Quantum computation Quantum gates Quantum teleportation |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Titolo uniforme | |
Record Nr. | UNICAMPANIA-VAN0124953 |
Cham, : Springer, 2018 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Quantum Computation and Logic : How Quantum Computers Have Inspired Logical Investigations / Maria Luisa Dalla Chiara ... [et al.] |
Edizione | [Cham : Springer, 2018] |
Pubbl/distr/stampa | xvi, 178 p., : ill. ; 24 cm |
Descrizione fisica | Pubblicazione in formato elettronico |
Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
00A30 - Philosophy of mathematics [MSC 2020] 03B70 - Logic in computer science [MSC 2020] 81P45 - Quantum information, communication, networks (quantum-theoretic aspects) [MSC 2020] 03Axx - Philosophical aspects of logic and foundations [MSC 2020] |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-SUN0124953 |
xvi, 178 p., : ill. ; 24 cm | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|