Catálogo de publicaciones - libros

Compartir en
redes sociales

Título de Acceso Abierto

Automated Reasoning: 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022, 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; automata theory; computer hardware; computer networks; computer programming; computer systems; embedded systems; formal languages; formal logic; logic programming; network protocols; semantics; software architecture; software design; software engineering; theoretical computer science