Lectures on proof verification and approximation algorithms

著者

• Mayr, Ernst W.
• Prömel, H. J.
• Steger, Angelika

書誌事項

Lectures on proof verification and approximation algorithms

Ernst W. Mayr, Hans Jürgen Prömel, Angelika Steger (eds.)

（Lecture notes in computer science, 1367）

Springer, c1998

注記

Includes bibliographical references (p. [325]-334) and indexes

詳細情報

• NII書誌ID(NCID): BA34927465
• ISBN:
  • 3540642013
• LCCN: 98014448
• 出版国コード: gw
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Berlin ; Tokyo
• ページ数/冊数: xii, 344 p.
• 大きさ: 24 cm
• 分類:
  • LCC : QA76.9.A96
  • DC21 : 005.1/4
• 件名:
  • LCSH : Automatic theorem proving
  • LCSH : Computer algorithms
  • LCSH : Approximation theory
• 親書誌ID:
  • BA00009279