Jump to main content

yr 〜
yr

Search results 9

Proof and computation : Advanced study institute : Jul 1993, Marktoberdorf, Germany. (NATO ASI Series Series F ; 139)

Proof and computation : Advanced study institute : Jul 1993, Marktoberdorf, Germany. (NATO ASI Series Series F ; 139)
Paper図書
Springer-Verlag1995.<M17-95-1820>
National Diet Library

Proof and computations

Proof and computations
Paper図書
Helmut Schwichtenberg, Stanley S. WainerAssociation for Symbolic Logic : Cambridge University Pressc2012
Other Libraries in Japan

Proof and computation II : from proof theory and univalent mathematics to program extraction and verification

Proof and computation II : from proof theory and univalent mathematics to program extraction and verification
Paper図書
editors Klaus Mainzer, Peter Schuster, Helmut SchwichtenbergWorld Scientificc2022
Other Libraries in Japan

Proof and computation : digitization in mathematics, computer science and philosophy

Proof and computation : digitization in mathematics, computer science and philosophy
Paper図書
[edited by] Klaus Mainzer, Peter Schuster, Helmut SchwichtenbergWorld Scientificc2018
Other Libraries in Japan

Proofs and computations

Proofs and computations
Paper図書
Helmut Schwichtenberg, Stanley S. WainerCambridge University Press2012
Other Libraries in Japan

Proof and computation

Proof and computation
Paper図書
edited by Helmut SchwichtenbergSpringer-Verlag1995
Other Libraries in Japan

証明と計算の理論と応用 : RIMS共同研究(公開型)

証明と計算の理論と応用 : RIMS共同研究(公開型)
Paper図書
京都大学数理解析研究所2022.8
Other Libraries in Japan

Perspectives in logic

Perspectives in logic
Paper図書
Association for Symbolic Logic : Cambridge University Press
Other Libraries in Japan
  • Related Material...is and physics Proof and computations Logical foundations of proof ...

NATO ASI series

NATO ASI series
Paper図書
Plenum Press
Other Libraries in Japan

Reached to the end of result.

RSS