Reasoning Web. Web Logic Rules - 9783319217673

Faber - Reasoning Web. Web Logic Rules 11th International Summer Sch - X555z

Lecture Notes in Computer Science Ser.: Logic-Based Program Synthesis and...

Lecture Notes in Computer Science Ser.: Current Trends in Web Engineering, ICWE

Isabelle/HOL: A Proof Assistant for Higher-Order Logic Lecture Notes in Computer

Lecture Notes in Computer Science #355 Rewriting Techniques And Applications

Lecture Notes in Computer Science Ser.: Foundations of Inductive Logic Programmi

Lecture Notes In Computer Science Anne Mulkers Live Data Structures In Logic Pro