

Inductive Logic Programming
584,-

Analysis of Experimental Algorithms
854,-

Inductive Logic Programming
584,-

Functional and Logic Programming
584,-

Functional and Logic Programming
584,-

Programming Languages with Applications to Biology and Security
584,-

Inductive Logic Programming
584,-

Interactive Theorem Proving
584,-

Theory and Applications of Satisfiability Testing - SAT 2016
584,-

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

Inductive Logic Programming
584,-

Analysis of Experimental Algorithms
854,-

Inductive Logic Programming
584,-

Functional and Logic Programming
584,-

Functional and Logic Programming
584,-

Programming Languages with Applications to Biology and Security
584,-

Inductive Logic Programming
584,-

Interactive Theorem Proving
584,-

Theory and Applications of Satisfiability Testing - SAT 2016
584,-

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












