Miller,, Dale
Programming with Higher-Order Logic / - New York: Cambridge University Press, 2012. - 306. - 2012.
9780521879408
Computer science- Computer programming
Logical programming
005.115 / MIL/P
Programming with Higher-Order Logic / - New York: Cambridge University Press, 2012. - 306. - 2012.
9780521879408
Computer science- Computer programming
Logical programming
005.115 / MIL/P