Filtrera

Ämne
  • (8)
  • (4)
  • (8)
  • (2)
Format
  • (3)
  • (1)
  • (6)
Pris
  • (1)
Leveranstid
  • (1)

Peter Schroeder-Heister - Böcker

Visar alla böcker av Peter Schroeder-Heister. Handla med fri frakt och snabb leverans!

Sortering:
  1. Studies in Logic and Computation, del 2:

    Substructural Logics

    av Dosen Schroeder-Heister, Kosta Dosen, P Schroeder-Heister, Peter Schroder-Heister

    Inbunden, Engelska, 1993-12-16
    2214
    Köp
    Skickas från oss inom 3-6 vardagar.
    Substructural Logics

    Substructural logics are nonclassical logics, which arose in response to problems in foundations of mathematics and logic, theoretical computer science, mathematical linguistics, and category theory. They include intuitionistic logic, relevant log...

    Läs mer »

  2. Logic, Methodology and Philosophy of Science. Logic and Science Facing the New Technologies

    av Peter Schroeder-Heister, Gerhard Heinzmann, Wilfrid Hodges

    Häftad, Engelska, 2015-01-22
    285
    Köp
    Skickas från oss inom 5-8 vardagar.
    Logic, Methodology and Philosophy of Science. Logic and Science Facing the New Technologies
  3. Trends in Logic, del 58:

    Logical Writings of Karl Popper

    av David Binder, Thomas Piecha, Peter Schroeder-Heister

    Inbunden, Engelska, 2022-07-07
    560
    Köp
    Skickas från oss inom 7-10 vardagar.
    Logical Writings of Karl Popper

    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 so...

    Läs mer »

  4. Trends in Logic, del 58:

    Logical Writings of Karl Popper

    av David Binder, Thomas Piecha, Peter Schroeder-Heister

    Häftad, Engelska, 2022-07-07
    449
    Köp
    Skickas från oss inom 7-10 vardagar.
    Logical Writings of Karl Popper

    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 so...

    Läs mer »

  5. Trends in Logic, del 43:

    Advances in Proof-Theoretic Semantics

    av Thomas Piecha, Peter Schroeder-Heister

    Inbunden, Engelska, 2015-11-04
    560
    Köp
    Skickas från oss inom 7-10 vardagar.
    Advances in Proof-Theoretic Semantics

    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 o...

    Läs mer »

  6. Trends in Logic, del 43:

    Advances in Proof-Theoretic Semantics

    av Thomas Piecha, Peter Schroeder-Heister

    Previously published in hardcover, Engelska, 2016-08-23
    560
    Köp
    Skickas från oss inom 7-10 vardagar.
    Advances in Proof-Theoretic Semantics

    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 o...

    Läs mer »

  7. Lecture Notes in Computer Science, del 2183:

    Proof Theory in Computer Science

    av Reinhard Kahle, Peter Schroeder-Heister, Robert Stärk

    Häftad, Engelska, 2001-09-28
    559
    Köp
    Skickas från oss inom 7-10 vardagar.
    Proof Theory in Computer Science

    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 a...

    Läs mer »

  8. Proof Theory in Computer Science E-bok

    av Reinhard Kahle, Peter Schroeder-Heister, Robert Stark

    E-bok (PDF, LCP), Engelska, 2003-06-30
    714
    Ladda ned
    Läs i Bokus Reader för iOS och Android.
    Proof Theory in Computer Science

    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 a...

    Läs mer »

  9. Lecture Notes in Artificial Intelligence:

    Extensions of Logic Programming

    av Peter Schroeder-Heister

    Häftad, Engelska, 1991-02-12
    576
    Köp
    Skickas från oss inom 7-10 vardagar.
    Extensions of Logic Programming

    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...

    Läs mer »

  10. Lecture Notes in Artificial Intelligence:

    Extensions of Logic Programming

    av Lars-Henrik Eriksson, Lars Hallnäs, Peter Schroeder-Heister

    Häftad, Engelska, 1992-05-20
    576
    Köp
    Skickas från oss inom 7-10 vardagar.
    Extensions of Logic Programming

    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 a...

    Läs mer »

  11. Lecture Notes in Artificial Intelligence:

    Extensions of Logic Programming

    av Roy Dyckhoff, Heinrich Herre, Peter Schroeder-Heister

    Häftad, Engelska, 1996-03-13
    576
    Köp
    Skickas från oss inom 7-10 vardagar.
    Extensions of Logic Programming

    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 ...

    Läs mer »