

Inductive Logic Programming
584,-

Inductive Logic Programming
476,-

Logic Programming and Nonmonotonic Reasoning
584,-

Formal Methods for Executable Software Models
584,-

Functional and Logic Programming
584,-

Programming Languages and Systems
584,-

Programming Languages and Systems
584,-

Programming Languages and Systems
584,-

Tools and Algorithms for the Construction and Analysis of Systems
584,-

Tools and Algorithms for the Construction and Analysis of Systems
584,-

Inductive Logic Programming
584,-

Inductive Logic Programming
476,-

Logic Programming and Nonmonotonic Reasoning
584,-

Formal Methods for Executable Software Models
584,-

Functional and Logic Programming
584,-

Programming Languages and Systems
584,-

Programming Languages and Systems
584,-

Programming Languages and Systems
584,-

Tools and Algorithms for the Construction and Analysis of Systems
584,-

Tools and Algorithms for the Construction and Analysis of Systems
584,-












