

Inductive Logic Programming
674,-

New Directions in Logic, Language, and Computation
476,-

Programming Languages and Systems
674,-

Programming Languages and Systems
611,-

Programming Languages and Systems
584,-

Programming Languages and Systems
791,-

Inductive Logic Programming
584,-

Programming Languages and Systems
674,-

Leveraging Applications of Formal Methods, Verification and Validation
1 124,-

Functional and Logic Programming
476,-

Inductive Logic Programming
674,-

New Directions in Logic, Language, and Computation
476,-

Programming Languages and Systems
674,-

Programming Languages and Systems
611,-

Programming Languages and Systems
584,-

Programming Languages and Systems
791,-

Inductive Logic Programming
584,-

Programming Languages and Systems
674,-

Leveraging Applications of Formal Methods, Verification and Validation
1 124,-

Functional and Logic Programming
476,-















