Paniagua Arís, Enrique.

Lógica computacional / Enrique Paniagua Arís, Juan Luis Sánchez González, Fernando Martín Rubio - Madrid : Thomson, Paraninfo, 2003. - 205 p.

8497321820


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

511.3 / P192l