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 Tableaux 2000 Staff, Roy Dyckhoff

  ISBN 354067697X (3-540-67697-X)
  Softcover, Springer

  
  Find All Copies

   

  › Find collectible copies of 'Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX 2000, St. Andrews, Scotland, UK, July 3-7, 2000, Proceedings'
• 
  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)

  ISBN 0387580255 (0-387-58025-5)
  Softcover, Springer Verlag

  
  Find All Copies

   

  › Find collectible copies of 'Extensions of Logic Programming: 4th International Workshop, Elp '93, st Andrews, U.K., March 29-April 1, 1993 Proceedings'

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

  by Roy Dyckhoff , Peter Schroeder-Heister, Heinrich Herre

  ISBN 3540609830 (3-540-60983-0)
  Softcover, Springer

  
  Find All Copies

   

  › Find collectible copies of 'Extensions of Logic Programming: Proceedings of the 5th International Workshop, ELP '96, Leipzig, Germany, March 28-30, 1996'