

Inductive Logic Programming
476,-

Logic Programming and Nonmonotonic Reasoning
584,-

Functional and Logic Programming
674,-

Programming Languages and Systems
584,-

Programming Languages and Systems
584,-

Inductive Logic Programming
584,-

Inductive Logic Programming
476,-

Analysis of Experimental Algorithms
854,-

Functional and Logic Programming
476,-

Principles of Verification
854,-

Inductive Logic Programming
476,-

Logic Programming and Nonmonotonic Reasoning
584,-

Functional and Logic Programming
674,-

Programming Languages and Systems
584,-

Programming Languages and Systems
584,-

Inductive Logic Programming
584,-

Inductive Logic Programming
476,-

Analysis of Experimental Algorithms
854,-

Functional and Logic Programming
476,-

Principles of Verification
854,-












