Roy Dyckhoff – författare

Visar alla böcker från författaren Roy Dyckhoff.

3 produkter

1. 

   Extensions of Logic Programming

   4th International Workshop, ELP '93, St Andrews, U.K., March 29 - April 1, 1993. Proceedings

   Av Roy Dyckhoff

   Häftad, 1994

   729 kr

   Lägg i varukorg

2. 

   Extensions of Logic Programming

   5th International Workshop, ELP '96, Leipzig, Germany, March 28 - 30, 1996. Proceedings.

   Av Roy Dyckhoff, Heinrich Herre m. fl.

   Häftad, 1996

   729 kr

   Lägg i varukorg

3. 

   Automated Reasoning with Analytic Tableaux and Related Methods

   International Conference, TABLEAUX 2000 St Andrews, Scotland, UK, July 3-7, 2000 Proceedings

   Av Roy Dyckhoff

   Häftad, 2000

   729 kr

   Lägg i varukorg