Vai al contenuto principale della pagina

Automated Deduction - CADE 28 : 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings



(Visualizza in formato marc)    (Visualizza in BIBFRAME)

Autore: Platzer André Visualizza persona
Titolo: Automated Deduction - CADE 28 : 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings Visualizza cluster
Pubblicazione: Cham, : Springer International Publishing AG, 2021
Descrizione fisica: 1 online resource (655 p.)
Soggetto topico: Artificial intelligence
Mathematical theory of computation
Computer programming / software development
Software Engineering
Soggetto non controllato: Artificial Intelligence
Mathematical Logic and Formal Languages
Logics and Meanings of Programs
Software Engineering
Formal Languages and Automata Theory
Computer Science Logic and Foundations of Programming
automata theory
boolean functions
computer programming
first order logic
formal languages
formal logic
logic programming
model checking
program verification
semantics
software architecture
software design
software quality
software verification
theorem provers
theorem proving
Mathematical theory of computation
Computer programming / software engineering
Computer architecture & logic design
Altri autori: SutcliffeGeoff  
Note generali: Description based upon print version of record.
Sommario/riassunto: This open access book constitutes the proceeding of the 28th International Conference on Automated Deduction, CADE 28, held virtually in July 2021. The 29 full papers and 7 system descriptions presented together with 2 invited papers were carefully reviewed and selected from 76 submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction, including foundations, applications, implementations, and practical experience. The papers are organized in the following topics: Logical foundations; theory and principles; implementation and application; ATP and AI; and system descriptions.
Altri titoli varianti: Automated Deduction – CADE 28
Automated Deduction - CADE 28
Titolo autorizzato: Automated Deduction - CADE 28  Visualizza cluster
ISBN: 3-030-79876-3
Formato: Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione: Inglese
Record Nr.: 9910491025703321
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Serie: Lecture Notes in Computer Science