Automated Deduction – CADE 26 : 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6–11, 2017, Proceedings /

Detalles Bibliográficos
Autor Corporativo:	SpringerLink (Online service)
Otros Autores:	de Moura, Leonardo. (Editor )
Formato:	eBook
Lenguaje:	English
Publicado:	Cham : Springer International Publishing : Imprint: Springer, 2017.
Edición:	1st ed. 2017.
Colección:	Lecture Notes in Artificial Intelligence ; 10395
Materias:	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.

Tabla de Contenidos:

Ejemplares similares