A computational logic handbook

Detalles Bibliográficos
Autor principal:	Boyer, Robert S. (-)
Otros Autores:	Moore, J Strother, 1947- coaut (coaut)
Formato:	Libro
Idioma:	Inglés
Publicado:	Boston : Academic Press 1988.
Colección:	Perspectives in computing ; vol. 23
Materias:	Teoremas > Demostración automática. Lógica matemática. Inteligencia artificial.
Ver en Universidad de Navarra:	https://unika.unav.edu/discovery/fulldisplay?docid=alma991010888229708016&context=L&vid=34UNAV_INST:VU1&search_scope=34UNAV_TODO&tab=34UNAV_TODO&lang=es

Ejemplares similares