Akademska digitalna zbirka SLovenije - logo
ALL libraries (COBIB.SI union bibliographic/catalogue database)
  • Lectures on proof verification and approximation algorithms
    Type of material - review
    Publication and manufacture - Berlin [etc.] : Springer, 1998
    Language - english
    ISBN - 3-540-64201-3
    COBISS.SI-ID - 18777861

Library/institution City Acronym For loan Other holdings
Central Technological Library of the University of Ljubljana Ljubljana CTK outside loan 1 cop.
loading ...
loading ...
loading ...