

















Inductive Logic Programming
584,-

Inductive Logic Programming
476,-

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

Functional and Logic Programming
674,-

Functional and Logic Programming
819,-

Programming Languages and Systems
611,-

Programming Languages and Systems
674,-

Deductive Software Verification - The KeY Book
1 340,-

Functional and Constraint Logic Programming
584,-

Functional and Logic Programming
476,-

Inductive Logic Programming
584,-

Inductive Logic Programming
476,-

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

Functional and Logic Programming
674,-

Functional and Logic Programming
819,-

Programming Languages and Systems
611,-

Programming Languages and Systems
674,-

Deductive Software Verification - The KeY Book
1 340,-

Functional and Constraint Logic Programming
584,-

Functional and Logic Programming
476,-