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
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