top

  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.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.
Automated Deduction - CADE 28 [[electronic resource] ] : 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings
Automated Deduction - CADE 28 [[electronic resource] ] : 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings
Autore Platzer André
Pubbl/distr/stampa Cham, : Springer International Publishing AG, 2021
Descrizione fisica 1 online resource (655 p.)
Altri autori (Persone) SutcliffeGeoff
Collana Lecture Notes in Computer Science
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
ISBN 3-030-79876-3
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Altri titoli varianti Automated Deduction – CADE 28
Automated Deduction - CADE 28
Record Nr. UNISA-996464423903316
Platzer André  
Cham, : Springer International Publishing AG, 2021
Materiale a stampa
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Automated Deduction - CADE 28 : 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings
Automated Deduction - CADE 28 : 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings
Autore Platzer André
Pubbl/distr/stampa Cham, : Springer International Publishing AG, 2021
Descrizione fisica 1 online resource (655 p.)
Altri autori (Persone) SutcliffeGeoff
Collana Lecture Notes in Computer Science
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
ISBN 3-030-79876-3
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Altri titoli varianti Automated Deduction – CADE 28
Automated Deduction - CADE 28
Record Nr. UNINA-9910491025703321
Platzer André  
Cham, : Springer International Publishing AG, 2021
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui