First-order : programming theories
Tamás Gergely, Lázló Ury.
Berlin : Springer-Verlag, 1991.
351 págs.
ISBN: 3540542779
![]() |
Biblioteca Central, UNS · Catálogo de libros | ||
|
Berlin : Springer-Verlag, 1991.
351 págs.
ISBN: 3540542779