A carregar...
Lectures on proof verification and approximation algorithms
Autor principal: | |
---|---|
Formato: | Printed Book |
Publicado em: |
Springer - verlag
1998
|
Colecção: | Lecturre notes in Computer Science 1367
|
Autor principal: | |
---|---|
Formato: | Printed Book |
Publicado em: |
Springer - verlag
1998
|
Colecção: | Lecturre notes in Computer Science 1367
|