Jump to main content

yr 〜
yr

Search results 7

Proof complexity : hardback

Proof complexity : hardback
Paper図書
Jan KrajíčekCambridge University Press2019
Other Libraries in Japan
  • Author HeadingKrajíček, Jan

Forcing with random variables and proof complexity : pbk

Forcing with random variables and proof complexity : pbk
Paper図書
Jan KrajíčekCambridge University Press2011
Other Libraries in Japan
  • Author HeadingKrajíček, Jan

Bounded arithmetic, propositional logic, and complexity theory / Jan Krajíček. (Encyclopedia of mathematics and its applications ; v. 60)

Bounded arithmetic, propositional logic, and complexity theory / Jan Krajíček. (Encyclopedia of mathematics and its applications ; v. 60)
Paper図書
Cambridge University Press1995.<MA41-A97>
National Diet LibraryOther Libraries in Japan
  • Author HeadingKrajíček, Jan.

Complexity of computations and proofs

Complexity of computations and proofs
Paper図書
edited by J. KrajíčekAracnec2003
Other Libraries in Japan
  • Author HeadingKrajíček, Jan

Logic Colloquium '01 : proceedings of the annual European Summer Meeting of the Association for Symbolic Logic, held in Vienna, Austria, August 6-11, 2001 pbk.

Logic Colloquium '01 : proceedings of the annual European Summer Meeting of the Association for Symbolic Logic, held in Vienna, Austria, August 6-11, 2001 pbk.
Paper図書
edited by Matthias Baaz, Sy-David Friedman, Jan KrajíčekA.K. Petersc2005
Other Libraries in Japan
  • Author HeadingLogic Colloquium Baaz, Matthias Friedman, Sy D. Krajíček, Jan Association for Symbolic Logi...

Bounded arithmetic, propositional logic, and complexity theory

Bounded arithmetic, propositional logic, and complexity theory
Paper図書
Jan KrajíčekCambridge University Press1995
Other Libraries in Japan
  • Author HeadingKrajíček, Jan

Arithmetic, proof theory, and computational complexity

Arithmetic, proof theory, and computational complexity
Paper図書
edited by Peter Clote and Jan KrajíčekClarendon Press1993
Other Libraries in Japan
  • Author HeadingClote, Peter Krajíček, Jan

Reached to the end of result.

RSS