Symbolic Logic and Mechanical Theorem Proving /

Guardado en:

Detalles Bibliográficos
Autor principal:	Chang, Ching-Liang (autor)
Otros autores:	Lee, Richard Char-Tung (autor) (autor)
Formato:	Libro
Idioma:	Inglés
Temas:	Ingeniería Computacional Inteligencia Artificial Lógica Matemática
Etiquetas:	Agrega una etiqueta Sin etiquetas, Sé el primero en etiquetar este registro!

Descripción
Descripción física:	331 p.
ISBN:	0-12-170350-9

Ejemplares similares