Lectures on proof verification and approximation algorithms

Author(s)

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

Bibliographic Information

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

Note

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

Details

• NCID: BA34927465
• ISBN:
  • 3540642013
• LCCN: 98014448
• Country Code: gw
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Berlin ; Tokyo
• Pages/Volumes: xii, 344 p.
• Size: 24 cm
• Classification:
  • LCC : QA76.9.A96
  • DC21 : 005.1/4
• Subject Headings:
  • LCSH : Automatic theorem proving
  • LCSH : Computer algorithms
  • LCSH : Approximation theory
• Parent Bibliography ID:
  • BA00009279