Jump to main content

yr 〜
yr

Search results 12

The logical writings of Karl Popper : pbk

The logical writings of Karl Popper : pbk
Paper図書
David Binder, Thomas Piecha, Peter Schroeder-Heister, editorsSpringerc2022
Other Libraries in Japan
  • Author HeadingBinder, David (Computer Science) Piecha, Thomas Schroeder-Heister, Peter Joseph

Advances in proof-theoretic semantics

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

Proof theory in computer science : international seminar, PTCS 2001, Dagstuhl Castle, Germany, October 7-12, 2001 : proceedings

Proof theory in computer science : international seminar, PTCS 2001, Dagstuhl Castle, Germany, October 7-12, 2001 : proceedings
Paper図書
Reinhard Kahle, Peter Schroeder-Heister, Robert Stärk (eds.)Springerc2001
Other Libraries in Japan
  • Author HeadingProof Theory in Computer Science Kahle, Reinhard Schroeder-Heister, Peter Joseph Stärk, Robert F.

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
  • Author HeadingKahle, Reinhard, 1967- Schroeder-Heister, Peter Joseph, 1953- Stärk, Robert F., 1963...

Extensions of logic programming : 5th International Workshop, ELP '96, Leipzig, Germany, March 28-30, 1996 : proceedings

Extensions of logic programming : 5th International Workshop, ELP '96, Leipzig, Germany, March 28-30, 1996 : proceedings
Paper図書
Roy Dyckhoff, Heinrich Herre, Peter Schroeder-Heister, (eds.)Springerc1996
Other Libraries in Japan
  • Author Heading...erre, Heinrich Schroeder-Heister, Peter Joseph

Extensions of logic programming : 5th International Workshop, ELP '96, Leipzig, Germany, March 28-30, 1996 : proceedings : gw

Extensions of logic programming : 5th International Workshop, ELP '96, Leipzig, Germany, March 28-30, 1996 : proceedings : gw
Paper図書
Roy Dyckhoff, Heinrich Herre, Peter Schroeder-Heister (eds.)Springer-Verlagc1996
Other Libraries in Japan
  • Author Heading...erre, Heinrich Schroeder-Heister, Peter Joseph

Extensions of logic programming : International Workshop, Tübingen, FRG, December 8-10, 1989 : proceedings / P. Schroeder-Heister (ed.). (Lecture notes in computer science ; 475. Lecture notes in artificial intelligence)

Extensions of logic programming : International Workshop, Tübingen, FRG, December 8-10, 1989 : proceedings / P. Schroeder-Heister (ed.). (Lecture notes in computer science ; 475. Lecture notes in artificial intelligence)
Paper図書
Springer-Verlagc1991.<M15-A7270>
National Diet Library
  • Author HeadingSchroeder-Heister, Peter Joseph, 1953-

Substructural logics

Substructural logics
Paper図書
edited by Peter Schroeder-Heister and Kosta DošenClarendon Press1993
Other Libraries in Japan
  • Author HeadingSchroeder-Heister, Peter Joseph Došen, Kosta

Extensions of logic programming : international workshop, Tübingen, FRG, December 8-10, 1989, proceedings : gw : us

Extensions of logic programming : international workshop, Tübingen, FRG, December 8-10, 1989, proceedings : gw : us
Paper図書
P. Schroeder-Heister (ed.)Springer-Verlagc1991
Other Libraries in Japan
  • Author HeadingSchroeder-Heister, Peter Joseph International Workshop on Ext...

Extensions of logic programming : second international workshop, ELP '91, Stockholm, Sweden, January 27-29, 1991 : proceedings : gw : us

Extensions of logic programming : second international workshop, ELP '91, Stockholm, Sweden, January 27-29, 1991 : proceedings : gw : us
Paper図書
L.-H. Eriksson, L.Hallnäs, P. Schroeder-Heister (eds.)Springer-Verlagc1992
Other Libraries in Japan
  • Author Heading... Hallnäs, Lars Schroeder-Heister, Peter Joseph International Workshop on Ext...

Extensions of logic programming : Second International Workshop, ELP '91, Stockholm, Sweden, January 27-29, 1991 : proceedings / L-H. Eriksson, L. Hallnäs, P. Schroeder-Heister (eds.). (Lecture notes in computer science ; 596. Lecture notes in artificial intelligence)

Extensions of logic programming : Second International Workshop, ELP '91, Stockholm, Sweden, January 27-29, 1991 : proceedings / L-H. Eriksson, L. Hallnäs, P. Schroeder-Heister (eds.). (Lecture notes in computer science ; 596. Lecture notes in artificial intelligence)
Paper図書
Springer-Verlagc1992.<M15-A8224>
National Diet Library
  • Author Heading...Hallnäs, Lars. Schroeder-Heister, Peter Joseph, 1953- International Workshop...

Iéna ou Sedan?

Iéna ou Sedan?
Paper図書
F.A. Beyerlein ; traduit de Joseph Schroeder, P. Bruck-Gilbert ; pref. de Pierre BaudinJ. Tallandier[19--]
Other Libraries in Japan
  • Author HeadingSchroeder-Heister, Peter Joseph Bruck-Gilbert, P. Baudin, Pie...

Reached to the end of result.

RSS