Proof complexity and feasible arithmetics : DIMACS workshop, April 21-24, 1996

著者

• Beame, Paul W.
• Buss, Samuel R.

書誌事項

Proof complexity and feasible arithmetics : DIMACS workshop, April 21-24, 1996

Paul W. Beame, Samuel R. Buss, editors

（DIMACS series in discrete mathematics and theoretical computer science, v. 39）

American Mathematical Society, c1998

注記

Papers from the proceedings of a workshop held in Rutgers, N.J

Includes bibliographical references

詳細情報

• NII書誌ID(NCID): BA34559576
• ISBN:
  • 0821805770
• LCCN: 97029122
• 出版国コード: us
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Providence, R.I.
• ページ数/冊数: xii, 320 p.
• 大きさ: 26 cm
• 分類:
  • LCC : QA9.54
  • DC21 : 511.3
• 件名:
  • LCSH : Proof theory -- Congresses
  • LCSH : Constructive mathematics -- Congresses
  • LCSH : Computational complexity -- Congresses
• 親書誌ID:
  • BA12282377