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

Con tecnología Koha