Peter Schroeder-Heister – författare
Visar alla böcker från författaren Peter Schroeder-Heister. Handla med fri frakt och snabb leverans.
10 produkter
Logic, Methodology and Philosophy of Science. Logic and Science Facing the New Technologies
Av Peter Schroeder-Heister, Gerhard Heinzmann m. fl.
Häftad, 2015
284 kr
Lägg i varukorg
Logical Writings of Karl Popper
Av David Binder, Thomas Piecha m. fl.
Inbunden, 2022
551 kr
Lägg i varukorg
This open access book is the first ever collection of Karl Popper's writings on deductive logic.Karl R. Popper (1902-1994) was one of the most influential philosophers of the 20th century. His philosophy of science ("falsificationism") and his social and political philosophy ("open society") have …
Logical Writings of Karl Popper
Av David Binder, Thomas Piecha m. fl.
Häftad, 2022
442 kr
Lägg i varukorg
This open access book is the first ever collection of Karl Popper's writings on deductive logic.Karl R. Popper (1902-1994) was one of the most influential philosophers of the 20th century. His philosophy of science ("falsificationism") and his social and political philosophy ("open society") have …
Advances in Proof-Theoretic Semantics
Av Thomas Piecha, Peter Schroeder-Heister
Inbunden, 2015
551 kr
Lägg i varukorg
This volume is the first ever collection devoted to the field of proof-theoretic semantics. Contributions address topics including the systematics of introduction and elimination rules and proofs of normalization, the categorial characterization of deductions, the relation between Heyting's and …
Advances in Proof-Theoretic Semantics
Av Thomas Piecha, Peter Schroeder-Heister
Häftad, 2016
551 kr
Lägg i varukorg
This volume is the first ever collection devoted to the field of proof-theoretic semantics. Contributions address topics including the systematics of introduction and elimination rules and proofs of normalization, the categorial characterization of deductions, the relation between Heyting's and …
Proof Theory in Computer Science
International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7-12, 2001. Proceedings
Av Reinhard Kahle, Peter Schroeder-Heister m. fl.
Häftad, 2001
551 kr
Lägg i varukorg
Proof theory has long been established as a basic discipline of mathematical logic. It has recently become increasingly relevant to computer science. The - ductive apparatus provided by proof theory has proved useful for metatheoretical purposes as well as for practical applications. Thus it seemed …
Proof Theory in Computer Science
International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7-12, 2001. Proceedings
Av Robert Stark, Peter Schroeder-Heister m. fl.
E-bok, 2003
718 kr
Lägg i varukorg
Proof theory has long been established as a basic discipline of mathematical logic. It has recently become increasingly relevant to computer science. The - ductive apparatus provided by proof theory has proved useful for metatheoretical purposes as well as for practical applications. Thus it seemed …
Extensions of Logic Programming
International Workshop, Tübingen, FRG, December 8-10, 1989. Proceedings
Häftad, 1991
569 kr
Lägg i varukorg
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 …
Extensions of Logic Programming
Second International Workshop, ELP '91, Stockholm, Sweden, January 27-29, 1991. Proceedings
Av Lars-Henrik Eriksson, Lars Hallnäs m. fl.
Häftad, 1992
569 kr
Lägg i varukorg
This volume contains papers presented at the secondinternational 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 toextensions of logic programming languages …
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
569 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. …
