Algebraic and Logic Programming
Kirchner, Hélène.
Algebraic and Logic Programming Third International Conference Volterra, Italy, September 2-4, 1992 Proceedings / edited by Hélène Kirchner, Giorgio Levi. - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan
9783540473022
Computer science.; Logic design.; Computer Science.; Programming Languages, Compilers, Interpreters.; Logics and Meanings of Programs.; Mathematical Logic and Formal Languages.
Algebraic and Logic Programming Third International Conference Volterra, Italy, September 2-4, 1992 Proceedings / edited by Hélène Kirchner, Giorgio Levi. - On-campus e-Book by Springer under Digital Library Program of Higher Education Commission (HEC) of Pakistan
9783540473022
Computer science.; Logic design.; Computer Science.; Programming Languages, Compilers, Interpreters.; Logics and Meanings of Programs.; Mathematical Logic and Formal Languages.