Jump to main content

yr 〜
yr

Search results 11

Proof complexity and feasible arithmetics : DIMACS workshop, April 21-24, 1996 -- : Feasible arithmetics and length of proofs : Workshop : Apr 1996, Rutgers, NJ. (DIMACS Series in Discrete Mathematics and Theoretical Computer Science ; 39)

Proof complexity and feasible arithmetics : DIMACS workshop, April 21-24, 1996 -- : Feasible arithmetics and length of proofs : Workshop : Apr 1996, Rutgers, NJ. (DIMACS Series in Discrete Mathematics and Theoretical Computer Science ; 39)
Paper図書
American Mathematical Society1998.<M17-01-1636>
National Diet Library
  • Note (General)...arithmetic and proof complexity. Index term: f...... arithmetics ; proof complexity ; DIMACS. BL shelfmark: 3588....
  • Alternative Title...arithmetic and proof complexity feasible arithmetics ; proof complexity ; DIMACS
  • Alternative Title...arithmetic and proof complexity feasible arithmetics ; proof complexity ; DIMACS

Proof complexity : hardback

Proof complexity : hardback
Paper図書
Jan KrajíčekCambridge University Press2019
Other Libraries in Japan

Proof complexity /

Proof complexity /
Paper図書
Cambridge University Press,2019,
Other Libraries in Japan
  • Note (General)... The nature of proof complexity.

Logical foundations of proof complexity : pbk

Logical foundations of proof complexity : pbk
Paper図書
Stephen Cook, Phuong NguyenAssociation for Symbolic Logic2014, c2010
Other Libraries in Japan

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

Logical foundations of proof complexity

Logical foundations of proof complexity
Paper図書
Stephen Cook, Phuong NguyenAssociation for Symbolic Logic : Cambridge University Press2010
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

Encyclopedia of mathematics and its applications

Encyclopedia of mathematics and its applications
Paper図書
edited by G.-C. RotaAddison-Wesley Pub. Co
Other Libraries in Japan
  • Related Material...hs in geometry Proof complexity Relational mathematics Orthog...

Perspectives in logic

Perspectives in logic
Paper図書
Association for Symbolic Logic : Cambridge University Press
Other Libraries in Japan
  • Related Material...foundations of proof complexity Higher recursion theory Compu...

DIMACS series in discrete mathematics and theoretical computer science

DIMACS series in discrete mathematics and theoretical computer science
Paper図書
American Mathematical Society
Other Libraries in Japan
  • Related Material...er 17-19, 1994 Proof complexity and feasible arithmetics : DI...

London Mathematical Society lecture note series

London Mathematical Society lecture note series
Paper図書
Cambridge University Press
Other Libraries in Japan
  • Related Material... variables and proof complexity The homotopy category of simp...

Reached to the end of result.

RSS