Logic Programming
Patricia M. Hill, David S. Warren
Logic Programming - 2009
978-3-642-02846-5
Logics and Meanings of Programs
Mathematics of Computing
Programming Techniques
Theory of Computation
Programming Languages, Compilers, Interpreters
Computer Science
Logic Programming - 2009
978-3-642-02846-5
Logics and Meanings of Programs
Mathematics of Computing
Programming Techniques
Theory of Computation
Programming Languages, Compilers, Interpreters
Computer Science