search for books and compare prices
Roy Dyckhoff has written 4 work(s)
Search for other authors with the same name
displaying 1 to 4 | at end
show results in order: alphabetically | oldest to newest | newest to oldest
Cover for 9780387609836 Cover for 9783540609834 Cover for 9783540580256 Cover for 9780387580258
Automated Reasoning With Analytic Tableaux and Related Methods: International Conference, Tableaux 2000, st Andrews, Scotland, Uk, July 3-7, 2000 : Proceedings
(view table of contents)
By Roy Dyckhoff and Tableaux 200 (other contributor)
See complete details on each edition (1 edition listed)

Paperback:

9783540676973 | Springer Verlag, July 1, 2000, cover price $129.00

Extensions of Logic Programming: 5th International Workshop, Elp '96, Leipzig, Germany, March 28-30, 1996 : Proceedings
cover image for 9783540609834
Product Description: 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...read more
By Roy Dyckhoff (editor), Heinrich Herre (editor) and Peter Joseph Schroeder-Heister (editor)
See complete details on each edition (2 editions listed)

Paperback:

9783540609834, titled "Extensions of Logic Programming: 5th International Workshop, Elp '96 Leipzig, Germany, March 28-30, 1996 : Proceedings" | Springer Verlag, June 1, 1996, cover price $99.00 | About this edition: 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.
9780387609836, titled "Extensions of Logic Programming: 5th International Workshop, Elp '96, Leipzig, Germany, March 28-30, 1996 : Proceedings" | Springer Verlag, April 1, 1996, cover price $56.00 | also contains Urbanism and Transport: Building Blocks for Architects and City and Transport Planners

Extensions of Logic Programming: 4th International Workshop, Elp '93, St Andrews, U.k., March 29 - April 1, 1993. Proceedings
cover image for 9783540580256
Product Description: 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 lambda-Prolog, representation of logics as partial inductive definitions, non-procedural logic programming, knowledge representation, contradiction avoidance, disjunctive databases, strong negation, linear logic programming, proof theory and regular search spaces, finite sets and constraint logic programming, search-space pruning and universal algebra, and implementation on transputer networks...read more
By Roy Dyckhoff
See complete details on each edition (1 edition listed)

Paperback:

9783540580256 | Springer Verlag, June 1, 1996, cover price $109.00 | About this edition: 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.

Extensions of Logic Programming: 4th International Workshop, Elp '93, st Andrews, U.K., March 29-April 1, 1993 : Proceedings
cover image for 9780387580258
Product Description: 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 lambda-Prolog, representation of logics as partial inductive definitions, non-procedural logic programming, knowledge representation, contradiction avoidance, disjunctive databases, strong negation, linear logic programming, proof theory and regular search spaces, finite sets and constraint logic programming, search-space pruning and universal algebra, and implementation on transputer networks...read more
By Roy Dyckhoff (editor) and Elp '9 (other contributor)
See complete details on each edition (1 edition listed)

Paperback:

9780387580258 | Springer Verlag, August 1, 1994, cover price $79.95 | About this edition: 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.

displaying 1 to 4 | at end