Computation as logic
Lalemant Rene
Computation as logic - Paris Masson 1993 - 387p. cm. - Prentice Hall international series in computer science .
36173
Textual
Logic programming
D65,8(B):(R1), N3
Computation as logic - Paris Masson 1993 - 387p. cm. - Prentice Hall international series in computer science .
36173
Textual
Logic programming
D65,8(B):(R1), N3
