yr 〜
yr

Search results 17

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
  • Author HeadingMainzer, Klaus Schuster, Peter Schwichtenberg, Helmut

Handbook of constructive mathematics : hardback

Handbook of constructive mathematics : hardback
Paper図書
edited by Douglas Bridges ... [et al.]Cambridge University Press2023
Other Libraries in Japan
  • Author HeadingBridges, D. S. (Douglas S.) 石原, 哉 Rathjen, Michael Schwichtenberg, Helmut

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
  • Author HeadingMainzer, Klaus Schuster, Peter Schwichtenberg, Helmut

Proof and computations

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

Proofs and computations

Proofs and computations
Paper図書
Helmut Schwichtenberg, Stanley S. WainerCambridge University Press2012
Other Libraries in Japan
  • Author HeadingSchwichtenberg, Helmut Wainer, S. S Association for ...

Proof technology and computation IOS Press

Proof technology and computation IOS Press
Paper図書
edited by Helmut Schwichtenberg and Katharina SpiesIOS Pressc2006
Other Libraries in Japan
  • Author HeadingSchwichtenberg, Helmut Spies, Katharina

Proof and system-reliability : pbk

Proof and system-reliability : pbk
Paper図書
edited by Helmut Schwichtenberg and Ralf SteinbrüggenKluwer Academicc2002
Other Libraries in Japan
  • Author HeadingSchwichtenberg, Helmut Steinbrüggen, Ralf NATO Advan...

Basic proof theory : pbk 2nd ed

Basic proof theory : pbk 2nd ed
Paper図書
A.S. Troelstra, H. SchwichtenbergCambridge University Press2000
Other Libraries in Japan
  • Author HeadingTroelstra, A. S. (Anne Sjerp) Schwichtenberg, Helmut

Computer science logic : 14th International Workshop, CSL 2000, Annual Conference of the EACSL, Fischbachau, Germany, August 21-26, 2000 : proceedings

Computer science logic : 14th International Workshop, CSL 2000, Annual Conference of the EACSL, Fischbachau, Germany, August 21-26, 2000 : proceedings
Paper図書
Peter G. Clote, Helmut Schwichtenberg (eds.)Springerc2000
Other Libraries in Japan
  • Author Heading...c Clote, Peter Schwichtenberg, Helmut

Computational logic

Computational logic
Paper図書
edited by Ulrich Berger, Helmut SchwichtenbergSpringerc1999
Other Libraries in Japan
  • Author HeadingBerger, Ulrich Schwichtenberg, Helmut North Atlantic Treaty Organiz...

Logic of computation

Logic of computation
Paper図書
edited by Helmut SchwichtenbergSpringerc1997
Other Libraries in Japan
  • Author HeadingSchwichtenberg, Helmut NATO Advanced Study Institute...

Basic proof theory : hardback

Basic proof theory : hardback
Paper図書
A.S. Troelstra, H. SchwichtenbergCambridge University Press1996
Other Libraries in Japan
  • Author HeadingTroelstra, A. S. (Anne Sjerp) Schwichtenberg, Helmut

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
  • Author HeadingSchwichtenberg, Helmut, 1942- Steinbrüggen, Ralf. NA...

Proof and computation

Proof and computation
Paper図書
edited by Helmut SchwichtenbergSpringer-Verlag1995
Other Libraries in Japan
  • Author HeadingSchwichtenberg, Helmut NATO Advanced Study Institute...

Logic and algebra of specification : us : gw

Logic and algebra of specification : us : gw
Paper図書
edited by Friedrich L. Bauer, Wilfried Brauer, Helmut SchwichtenbergSpringer-Verlagc1993
Other Libraries in Japan
  • Author Heading...auer, Wilfried Schwichtenberg, Helmut NATO Advanced Study Institute...

Die Wirtschaftlichen Voraussetzungen und Methoden der Erzeugungsschlacht

Die Wirtschaftlichen Voraussetzungen und Methoden der Erzeugungsschlacht
Paper図書
von Helmut SchwichtenbergKonrad Triltsch Verlag1939
Other Libraries in Japan
  • Author HeadingSchwichtenberg, Helmut

Ontos mathematical logic

Ontos mathematical logic
Paper図書
edited by Wolfram Pohlers ... [et al.]Ontos verlag
Other Libraries in Japan
  • Author HeadingPohlers, Wolfram Scanlon, Thomas Schimmerling, Ernest Schindler, Ralf Schwichtenberg, Helmut

Reached to the end of result.