Roy Dyckhoff profile picture

Roy Dyckhoff

Is this your author profile? Create an account to claim and customize it!

Stand Alone

Extensions of Logic Programming 5th International Workshop, ELP '96, Leipzig, Germany, March 28-30, 1996 : Proceedings
Extensions of Logic Programming: 4th International Workshop, ELP '93, St Andrews, U.K., March 29 - April 1, 1993. Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artific)
Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX 2000 St Andrews, Scotland, UK, July 3-7, 2000 Proceedings (Lecture Notes in Computer Science)
Extensions of Logic Programming
Automated Reasoning with Analytic Tableaux and Related Methods International Conference, TABLEAUX 2000 St Andrews, Scotland, UK, July 3-7, 2000 Proceedings