Automated deduction - CADE 26 /

Automated deduction - CADE 26 /

Bibliographic Details
Corporate Author: International conference on automated deduction. Proceedings Gotemburgo, Suecia)
Other Authors: de Moura, Leonardo (Editor)
Format: Conference Proceeding Book
Language:English
Published: Cham, Suiza : Springer, 2017.
Edition:1 edición
Subjects:
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

Holdings details from Sistema de Bibliotecas del Tecnológico de Costa Rica
Copy Available

Similar Items