Logic for computer scientists / Uwe Schöning
Schöning, Uwe
Logic for computer scientists / Uwe Schöning - Berlín : Birkhäuser, 1989 - 166 p. - Progress in computer science and applied logic ; 8 .
Indices. -Bibliografía
0817634533
Lógica simbólica y matemática
Programación lógica
519.85 510.6
Logic for computer scientists / Uwe Schöning - Berlín : Birkhäuser, 1989 - 166 p. - Progress in computer science and applied logic ; 8 .
Indices. -Bibliografía
0817634533
Lógica simbólica y matemática
Programación lógica
519.85 510.6