1
|
|
|
|
1
|
3
|
|
Logic programming (Computer science) : Logic in computer science : modelling and reasoning about systems / Michael Huth, Mark Ryan
|
2004
|
1
|
5
|
|
|
|
1
|
6
|
|
Logic programming languages. : Constraint solving and planning with Picat / Neng-Fa Zhou, HÃ¥kan Kjellerstrand, Jonathan Fruhman
|
2015
|
1
|
8
|
|
|
|
1
|