Image from Google Jackets
Image from OpenLibrary

Lectures on proof verification and approximation algorithms

By: Material type: TextTextSeries: Lecturre notes in Computer Science 1367Publication details: Verlag 1998 SpringerDDC classification:
  • 511.4 MAY.L
Other classification:
Tags from this library: No tags from this library for this title. Log in to add tags.
Holdings
Item type Current library Home library Call number Status Date due Barcode
Book Book Dept. of Mathematics Processing Center Dept. of Mathematics 511.4 MAY.L (Browse shelf(Opens below)) Available MAT7446

There are no comments on this title.

to post a comment.