Frausto Solís, Juan

Fundamentos de lógica computacional / Juan Frausto Solís, Gildardo Sánchez Ante - México : Trillas, 2000 - 110 páginas : ilustraciones, fórmulas, tablas ; 24 cm.

Incluye índice.

9682461006


Lógica computacional
Complejidad computacional
Lógica simbólica y matemática

QA76 F7 / .F8 2000