Automated deduction - CADE 26 /

Automated deduction - CADE 26 /

Detalles Bibliográficos
Autor Corporativo: International conference on automated deduction. Proceedings Gotemburgo, Suecia)
Otros Autores: de Moura, Leonardo (Editor )
Formato: Procedimiento de la Conferencia Libro
Lenguaje:English
Publicado: Cham, Suiza : Springer, 2017.
Edición:1 edición
Materias:
Algoritmos
Inteligencia artificial
Lógica computacional
Lógica simbólica y matemática
Ingeniería de software
Acta de congreso
Libros electrónicos

Sistema de Bibliotecas del Tecnológico de Costa Rica

Detalle de Existencias desde Sistema de Bibliotecas del Tecnológico de Costa Rica
Copia Disponible

Ejemplares similares