Info
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 | ||
| ||
Finite model theory / Heinz-Dieter Ebbinghaus, Jörg Flum
| Finite model theory / Heinz-Dieter Ebbinghaus, Jörg Flum |
| Autore | Ebbinghaus, Heinz-Dieter |
| Edizione | [2. rev. and enl. ed. 1999] |
| Pubbl/distr/stampa | Berlin ; Heidelberg, : Springer, 2006 |
| Descrizione fisica | xi, 360 p. : ill. ; 24 cm |
| Soggetto topico |
03C13 - Model theory of finite structures [MSC 2020]
03C80 - Logic with extra quantifiers and operators [MSC 2020] 03D15 - Complexity of computation [MSC 2020] 68P15 - Database theory [MSC 2020] |
| Soggetto non controllato |
Algorithm analysis and problem complexity
Automata Boolean satisfiability problem Complexity Complexity theory Finite model theory Fixed-point logics Logic Model theory Optimization Theory of complexity |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00299765 |
|
Ebbinghaus, Heinz-Dieter
|
||
| Berlin ; Heidelberg, : Springer, 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Finite model theory / Heinz-Dieter Ebbinghaus, Jörg Flum
| Finite model theory / Heinz-Dieter Ebbinghaus, Jörg Flum |
| Autore | Ebbinghaus, Heinz-Dieter |
| Pubbl/distr/stampa | Berlin, : Springer, 1995 |
| Descrizione fisica | xv, 327 p. : ill. ; 25 cm |
| Soggetto topico |
03C13 - Model theory of finite structures [MSC 2020]
03C80 - Logic with extra quantifiers and operators [MSC 2020] 03D15 - Complexity of computation [MSC 2020] 68P15 - Database theory [MSC 2020] |
| Soggetto non controllato |
Algorithm analysis and problem complexity
Automata Boolean satisfiability problem Complexity Complexity theory Finite model theory Fixed-point logics Logic Model theory Optimization Theory of complexity |
| ISBN |
35-406-0149-X
978-35-406-0149-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00055754 |
|
Ebbinghaus, Heinz-Dieter
|
||
| Berlin, : Springer, 1995 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Finite model theory / Heinz-Dieter Ebbinghaus, Jörg Flum
| Finite model theory / Heinz-Dieter Ebbinghaus, Jörg Flum |
| Autore | Ebbinghaus, Heinz-Dieter |
| Pubbl/distr/stampa | Berlin, : Springer, 1995 |
| Descrizione fisica | xv, 327 p. : ill. ; 25 cm |
| Soggetto topico |
03C13 - Model theory of finite structures [MSC 2020]
03C80 - Logic with extra quantifiers and operators [MSC 2020] 03D15 - Complexity of computation [MSC 2020] 68P15 - Database theory [MSC 2020] |
| Soggetto non controllato |
Algorithm analysis and problem complexity
Automata Boolean satisfiability problem Complexity Complexity theory Finite model theory Fixed-point logics Logic Model theory Optimization Theory of complexity |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00294069 |
|
Ebbinghaus, Heinz-Dieter
|
||
| Berlin, : Springer, 1995 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||