Catálogo de publicaciones - libros
Título de Acceso Abierto
Automated Deduction – CADE 28: 28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings
Parte de: Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence
Resumen/Descripción – provisto por la editorial
No disponible.
Palabras clave – provistas por la editorial
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
Disponibilidad
| Institución detectada | Año de publicación | Navegá | Descargá | Solicitá |
|---|---|---|---|---|
| No requiere | Directory of Open access Books |
|
Información
Tipo de recurso:
libros
País de edición
Reino Unido
