Results for Peter Joseph Schroeder-Heister

ISBN.nu

search for books and compare prices

Peter Joseph Schroeder-Heister has written 5 work(s)

Search for other authors with the same name

displaying 1 to 5 | at end

show results in order: alphabetically | oldest to newest | newest to oldest

Proof Theory in Computer Science: International Seminar, Ptcs 2001, Dagstuhl Castle, Germany, October 7-12, 2001, Proceedings

By Ptcs 200 (other contributor), Peter Joseph Schroeder-Heister (editor) and Robert F. Stark (editor)

See complete details on each edition (1 edition listed)

Paperback:

9783540427520 | Springer Verlag, November 1, 2001, cover price $99.00

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

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

Substructural Logics

Product Description: Substructural logics comprise a family of nonclassical logics that arose in response to problems in theoretical computer science, mathematical linguistics, and category theory. They include intuitionist logic, relevant logic, BCK logic, linear logic, and Lambeck's calculus of synthetic categories...read more

By Kosta Dosen (editor) and Peter Joseph Schroeder-Heister (editor)

See complete details on each edition (1 edition listed)

Hardcover:

9780198537779 | Clarendon Pr, April 28, 1994, cover price $175.00 | About this edition: Substructural logics comprise a family of nonclassical logics that arose in response to problems in theoretical computer science, mathematical linguistics, and category theory.

Extensions of Logic Programming: Second International Workshop, Elp 91 Stockholm, Sweden, January 27-29, 1991 : Proceedings

Product Description: This volume contains papers presented at the second international workshop on extensions of logic programming, which was held at the Swedish Institute of Computer Science, Stockhom, January 27-29, 1991. The 12 papers describe and discuss several approaches to extensions of logic programming languages such as PROLOG, as well as connections between logic programming and functional programming, theoretical foundations of extensions, applications, and programming methodologies...read more

By L. H. Eriksson, L. Hallnas and Peter Joseph Schroeder-Heister (editor)

See complete details on each edition (1 edition listed)

Paperback:

9780387554983 | Springer Verlag, June 1, 1992, cover price $77.95 | About this edition: This volume contains papers presented at the second international workshop on extensions of logic programming, which was held at the Swedish Institute of Computer Science, Stockhom, January 27-29, 1991.

Extensions of Logic Programming: International Workshop Tubingen Frg, December 8-10, 1989 Proceedings

Product Description: This volume contains finalized versions of papers presented at an international workshop on extensions of logic programming, held at the Seminar for Natural Language Systems at the University of TÃ¼bingen in December 1989. Several recent extensions of definite Horn clause programming, especially those with a proof-theoretic background, have much in common...read more

By Peter Joseph Schroeder-Heister (editor)

See complete details on each edition (1 edition listed)

Paperback:

9780387535906 | Springer Verlag, April 1, 1991, cover price $59.95 | About this edition: This volume contains finalized versions of papers presented at an international workshop on extensions of logic programming, held at the Seminar for Natural Language Systems at the University of TÃ¼bingen in December 1989.

displaying 1 to 5 | at end