LEADER 00000nam 2200229 a 4500 001 0999187 007 t 008 001511 3 1987 000 eng 020 3540181997 040 CURLOC 050 4 QA 76.6 L7 100 1 Lloyd, John Wylie. 245 10 Foundations of logic programming. 250 2nd ed. 260 Berlin :|bSpringer-Verlag,|c1987. 300 212p. 440 0 Symbolic computation 650 0 Computer programming.
|