Automated Deduction – CADE 26 [[electronic resource] ] : 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6–11, 2017, Proceedings / / edited by Leonardo de Moura
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Titolo: |
Automated Deduction – CADE 26 [[electronic resource] ] : 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6–11, 2017, Proceedings / / edited by Leonardo de Moura
|
| Pubblicazione: | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
| Edizione: | 1st ed. 2017. |
| Descrizione fisica: | 1 online resource (XI, 582 p. 87 illus.) |
| Disciplina: | 511.36028563 |
| Soggetto topico: | Artificial intelligence |
| Mathematical logic | |
| Computer logic | |
| Software engineering | |
| Algorithms | |
| Artificial Intelligence | |
| Mathematical Logic and Formal Languages | |
| Logics and Meanings of Programs | |
| Software Engineering | |
| Algorithm Analysis and Problem Complexity | |
| Persona (resp. second.): | de MouraLeonardo |
| Nota di bibliografia: | Includes bibliographical references and index. |
| Nota di contenuto: | Automated deduction -- Including foundations -- Applications.-Implementations -- Practical experience. |
| Sommario/riassunto: | The chapter 'Certifying Confluence of Quasi-Decreasing Strongly Deterministic Conditional Term Rewrite Systems' is published open access under a CC BY 4.0 license. |
| Titolo autorizzato: | Automated Deduction – CADE 26 |
| ISBN: | 3-319-63046-6 |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 9910483401903321 |
| Lo trovi qui: | Univ. Federico II |
| Opac: | Controlla la disponibilità qui |
Serie:
Lecture Notes in Artificial Intelligence ; ; 10395