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.
Computation, Logic, Philosophy : A Collection of Essays / Hao Wang
| Computation, Logic, Philosophy : A Collection of Essays / Hao Wang |
| Autore | Wang, Hao |
| Pubbl/distr/stampa | Dordrecht, : Kluwer ; Beijing, : Science, 1990 |
| Descrizione fisica | xxvii, 373 p. ; 24 cm |
| Soggetto topico |
00A30 - Philosophy of mathematics [MSC 2020]
01A75 - Collected or selected works; reprintings or translations of classics [MSC 2020] 03-XX - Mathematical logic and foundations [MSC 2020] 03A05 - Philosophical and critical aspects of logic and foundations [MSC 2020] 03D35 - Undecidability and degrees of sets of sentences [MSC 2020] 68-XX - Computer science [MSC 2020] |
| Soggetto non controllato |
Approximation
Artificial Intelligence Automated theorem proving Boolean satisfiability problem Classification Communications Complexity Computability Information Logic Matching Model theory Proofs Set Theory Theorem proving |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00287585 |
Wang, Hao
|
||
| Dordrecht, : Kluwer ; Beijing, : Science, 1990 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Perspectives on the History of Mathematical Logic / Thomas Drucker editor
| Perspectives on the History of Mathematical Logic / Thomas Drucker editor |
| Edizione | [Reprint of the 1991 Ed] |
| Pubbl/distr/stampa | Boston, : Birkhäuser, 2008 |
| Descrizione fisica | xxiii, 195 p. : ill. ; 24 cm |
| Soggetto topico |
00B30 - Festschriften [MSC 2020]
01-XX - History and biography [MSC 2020] 01A55 - History of mathematics in the 19th century [MSC 2020] 01A60 - History of mathematics in the 20th century [MSC 2020] 03-XX - Mathematical logic and foundations [MSC 2020] |
| Soggetto non controllato |
Algebra
Algebra of Logic Automated theorem proving Logic Mathematical logic Mathematics Philosophy Proof Theory Proofs Russel Paradox Symbolic logic |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00287928 |
| Boston, : Birkhäuser, 2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Transactions on Engineering Technologies : World Congress on Engineering 2018 / Sio-Iong Ao, Len Gelman, Haeng Kon Kim editors
| Transactions on Engineering Technologies : World Congress on Engineering 2018 / Sio-Iong Ao, Len Gelman, Haeng Kon Kim editors |
| Pubbl/distr/stampa | Singapore, : Springer, 2019 |
| Descrizione fisica | ix, 363 p. : ill. ; 24 cm |
| Soggetto topico |
68Uxx - Computing methodologies and applications [MSC 2020]
00-XX - General and overarching topics; collections [MSC 2020] |
| Soggetto non controllato |
Automated theorem proving
Bayesian networks Computer Algebra System Computing methodologies Convex programming Discrete Mathematics and Control Distributed Artificial Intelligence Human-computer interactions Matrix theory Neural Fuzzy Systems Nonlinear time series Partial Least Squares Quadratic programming Quantum Computing Queueing Theory Reliability theory Rule-Based Algorithms Stochastic Programming Tensor Analysis VLSI design |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0127389 |
| Singapore, : Springer, 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Transactions on Engineering Technologies : World Congress on Engineering 2018 / Sio-Iong Ao, Len Gelman, Haeng Kon Kim editors
| Transactions on Engineering Technologies : World Congress on Engineering 2018 / Sio-Iong Ao, Len Gelman, Haeng Kon Kim editors |
| Pubbl/distr/stampa | Singapore, : Springer, 2019 |
| Descrizione fisica | ix, 363 p. : ill. ; 24 cm |
| Soggetto topico |
00-XX - General and overarching topics; collections [MSC 2020]
68Uxx - Computing methodologies and applications [MSC 2020] |
| Soggetto non controllato |
Automated theorem proving
Bayesian networks Computer Algebra System Computing methodologies Convex programming Discrete Mathematics and Control Distributed Artificial Intelligence Human-computer interactions Matrix theory Neural Fuzzy Systems Nonlinear time series Partial Least Squares Quadratic programming Quantum Computing Queueing Theory Reliability theory Rule-Based Algorithms Stochastic Programming Tensor Analysis VLSI design |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00127389 |
| Singapore, : Springer, 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||