Roy Dyckhoff (Dyckhoff, Roy)

• 
  Automated Reasoning With Analytic Tableaux and Related Methods: International Conference, Tableaux 2000, st Andrews, Scotland, Uk, July 3-7, 2000 Proceedings
  by Roy Dyckhoff, Tableaux 200 (2000 St. Andrews, Scotland)
  Softcover, Springer Verlag, ISBN 354067697X (3-540-67697-X)
• 
  Extensions of Logic Programming: 5th International Workshop, Elp '96 Leipzig, Germany, March 28-30, 1996 Proceedings
  by Roy Dyckhoff, Elp '9 (1993 University of St. Andrews, Scotland)
  Softcover, Springer Verlag, ISBN 0387580255 (0-387-58025-5)

  More editions of Extensions of Logic Programming: 5th International Workshop, Elp '96 Leipzig, Germany, March 28-30, 1996 Proceedings:

  • Extensions of Logic Programming: 5th International Workshop, Elp '96, Leipzig, Germany, March 28-30, 1996 Proceedings: Softcover, Springer Verlag, ISBN 0387609830 (0-387-60983-0)
  • Extensions of Logic Programming: 5th International Workshop, Elp '96 Leipzig, Germany, March 28-30, 1996 Proceedings: Softcover, Springer Verlag, ISBN 3540609830 (3-540-60983-0)
  • Extensions of Logic Programming: 4th International Workshop, ELP '93, St Andrews, U.K., March 29-April 1, 1993 Proceedings: Hardcover, Springer-Verlag, ISBN 3540580255 (3-540-58025-5)