Functional and Logic Programming
Oleg Kiselyov, Andy King
Functional and Logic Programming - Springer 2016 - Lecture Notes in Computer Science .
9783319296043
Software Engineering; Logics and Meanings of Programs; Programming Languages, Compilers, Interpreters; Mathematical Logic and Formal Languages; Artificial Intelligence (incl. Robotics); Programming Techniques
Functional and Logic Programming - Springer 2016 - Lecture Notes in Computer Science .
9783319296043
Software Engineering; Logics and Meanings of Programs; Programming Languages, Compilers, Interpreters; Mathematical Logic and Formal Languages; Artificial Intelligence (incl. Robotics); Programming Techniques