Symbolic Logic and Mechanical Theorem Proving /

Guardat en:

Dades bibliogràfiques
Autor principal:	Chang, Ching-Liang (autor)
Altres autors:	Lee, Richard Char-Tung (autor) (autor)
Format:	Llibre
Idioma:	anglès
Matèries:	Ingeniería Computacional Inteligencia Artificial Lógica Matemática
Etiquetes:	Afegir etiqueta Sense etiquetes, Sigues el primer a etiquetar aquest registre!

Sigues el primer a deixar un comentari!

Ítems similars