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.
A Textbook of Belief Dynamics : Solutions to exercises / by Sven Ove Hansson
| A Textbook of Belief Dynamics : Solutions to exercises / by Sven Ove Hansson |
| Autore | Hansson, Sven-Ove |
| Pubbl/distr/stampa | Dordrecht, : Springer, : Kluwer, 1999 |
| Descrizione fisica | 65 p. ; 24 cm |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
68Txx - Artificial intelligence [MSC 2020] |
| Soggetto non controllato |
Database
Formal language Knowledge Knowledge representation Logic Nonmonotonic reasoning Reason |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00299908 |
Hansson, Sven-Ove
|
||
| Dordrecht, : Springer, : Kluwer, 1999 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Elements of Finite Model Theory / Leonid Libkin
| Elements of Finite Model Theory / Leonid Libkin |
| Autore | Libkin, Leonid |
| Pubbl/distr/stampa | Berlin ; Heidelberg, : Springer, 2004 |
| Descrizione fisica | xiv, 318 p. : ill. ; 24 cm |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03C13 - Model theory of finite structures [MSC 2020] 68-XX - Computer science [MSC 2020] 68Q15 - Complexity classes (hierarchies, relations among complexity classes, etc.) [MSC 2020] 68Q19 - Descriptive complexity and finite models [MSC 2020] |
| Soggetto non controllato |
Algorithm analysis and problem complexity
Automata Complexity Complexity theory Formal language Logic Model theory Variable |
| ISBN | 978-35-402-1202-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00283787 |
|
Libkin, Leonid
|
||
| Berlin ; Heidelberg, : Springer, 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||