

Functional and Logic Programming
584,-

Functional and Logic Programming
819,-

Functional and Logic Programming
674,-

Functional and Logic Programming
476,-

Inductive Logic Programming
584,-

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

Logic, Language, Information, and Computation
584,-

Verified Software
476,-

Verified Software. Theories, Tools, and Experiments
584,-

Verified Software
584,-

Functional and Logic Programming
584,-

Functional and Logic Programming
819,-

Functional and Logic Programming
674,-

Functional and Logic Programming
476,-

Inductive Logic Programming
584,-

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

Logic, Language, Information, and Computation
584,-

Verified Software
476,-

Verified Software. Theories, Tools, and Experiments
584,-

Verified Software
584,-















