Roy Dyckhoff – författare

Visar alla böcker från författaren Roy Dyckhoff. Handla med fri frakt och snabb leverans.

4 produkter

1. 

   Automated Reasoning with Analytic Tableaux and Related Methods

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

   Av Roy Dyckhoff

   E-bok, 2006

   755 kr

   Lägg i varukorg

2. 

   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

   568 kr

   Lägg i varukorg

   The papers in this volume are extended versions of presentations at the fourth International Workshop on Extensions of Logic Programming, held at the University of St Andrews, March/April 1993. Among the topics covered in the volume are: defintional reflection and completion, modules in …

3. 

   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

   568 kr

   Lägg i varukorg

   This book constitutes the refereed proceedings of the 5th International Workshop on Extensions of Logic Programming, ELP '96, held in Leipzig, Germany in March 1996.The 18 full papers included were carefully selected by the program committee and are presented together with three invited papers. …

4. 

   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

   568 kr

   Lägg i varukorg

   This volume contains the main papers presented at the International Conference on Analytic Tableaux and Related Methods (TABLEAUX 2000) held on July 3-7, 2000 in St Andrews, Scotland. This conference succeeded other meetings on the same topic held in Lautenbach (1992), Marseille (1993), Abingdon …