A carregar...

Lectures on proof verification and approximation algorithms

Detalhes bibliográficos
Autor principal: Mayr, Ernst W
Formato: Printed Book
Publicado em: Springer - verlag 1998
Colecção:Lecturre notes in Computer Science 1367