Hanus, Michael

Algebraic and logic programming Michael Hanus - - Springer-Verlag, Berlin 1996 - - .


Computer science

004 HAN-A