2
Published 2001
Springer Berlin Heidelberg
Table of Contents: ...Declarative Specification and Solution of Combinatorial Auctions Using Logic Programming -- Bounded...

4
Published 2023
Springer Nature Switzerland
Table of Contents: ... -- Simultaneously Teaching Mathematics and Prolog in School Curricula: A Mutual Benefit -- Logic Programming...