Jump to main content

yr 〜
yr

Search results 10

Proof theory in computer science : international seminar, PTCS 2001 : Dagstuhl Castle, Germany, October 7-12, 2001 : proceedings. : Oct 2001, Dagstuhl, Germany. (Lecture Notes in Computer Science ; 2183)

Proof theory in computer science : international seminar, PTCS 2001 : Dagstuhl Castle, Germany, October 7-12, 2001 : proceedings. : Oct 2001, Dagstuhl, Germany. (Lecture Notes in Computer Science ; 2183)
Paper図書
Springerc2001.<M17-03-2295>
National Diet Library
  • Subject HeadingProof theory -- Congresses.

Proof and system-reliability. : NATO Advanced Study Institute on proof and system-reliability : Marktoberdorf summer school 2001 on proof and system-reliability : Jul 2001, Marktoberdorf, Germany. (NATO Science Series. Series II, Mathematics, Physics, and Chemistry ; 62)

Proof and system-reliability. : NATO Advanced Study Institute on proof and system-reliability : Marktoberdorf summer school 2001 on proof and system-reliability : Jul 2001, Marktoberdorf, Germany. (NATO Science Series. Series II, Mathematics, Physics, and Chemistry ; 62)
Paper図書
Kluwer Academic Publishersc2002.<M17-03-4282>
National Diet Library
  • Subject HeadingComputer systems -- Reliability -- Congresses. Proof theory -- Congresses.

Advances in proof-theoretic semantics

Advances in proof-theoretic semantics
Paper図書
Thomas Piecha, Peter Schroeder-Heister, editorsSpringerc2016
Other Libraries in Japan

Sets and proofs : invited papers from Logic Colloquium '97 - European Meeting of the Association for Symbolic Logic, Leeds, July 1997

Sets and proofs : invited papers from Logic Colloquium '97 - European Meeting of the Association for Symbolic Logic, Leeds, July 1997
Paper図書
edited by S. Barry Cooper, John K. TrussCambridge University Press1999
Other Libraries in Japan

Proof complexity and feasible arithmetics : DIMACS workshop, April 21-24, 1996

Proof complexity and feasible arithmetics : DIMACS workshop, April 21-24, 1996
Paper図書
Paul W. Beame, Samuel R. Buss, editorsAmerican Mathematical Societyc1998
Other Libraries in Japan

Proof theory of modal logic

Proof theory of modal logic
Paper図書
edited by Heinrich WansingKluwerc1996
Other Libraries in Japan

Proof theory of modal logic

Proof theory of modal logic
Paper図書
edited by Heinrich WansingSpringer Science+Business Mediac1996
Other Libraries in Japan

ISILC Proof Theory Symposion : dedicated to Kurt Schütte on the occasion of his 65th birthday : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974 / edited by J. Diller and G. H. Müller. (Lecture notes in mathematics ; 500)

ISILC Proof Theory Symposion : dedicated to Kurt Schütte on the occasion of his 65th birthday : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974 / edited by J. Diller and G. H. Müller. (Lecture notes in mathematics ; 500)
Paper図書
Springer-Verlag1975.<MA41-98>
National Diet LibraryOther Libraries in Japan
  • Subject HeadingSchütte, K. (Kurt) -- Bibliography. Proof theory -- Congresses.

Proof theory : a selection of papers from the Leeds Proof Theory Programme 1990 pbk

Proof theory : a selection of papers from the Leeds Proof Theory Programme 1990 pbk
Paper図書
edited by Peter Aczel, Harold Simmons and Stanley S. WainerCambridge University Press1992
Other Libraries in Japan

ISILC Proof Theory Symposion : dedicated to Kurt Schütte on the occasion of his 65th birthday : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974 : gw : u.s.

ISILC Proof Theory Symposion : dedicated to Kurt Schütte on the occasion of his 65th birthday : proceedings of the International Summer Institute and Logic Colloquium, Kiel, 1974 : gw : u.s.
Paper図書
edited by J. Diller and G.H. MüllerSpringer-Verlag1975
Other Libraries in Japan

Reached to the end of result.

RSS