Algebraic and logic programming
Hanus, Michael
Algebraic and logic programming Michael Hanus - - Springer-Verlag, Berlin 1996 - - .
Computer science
004 HAN-A
Algebraic and logic programming Michael Hanus - - Springer-Verlag, Berlin 1996 - - .
Computer science
004 HAN-A