|
|
|
|
| LEADER |
00740cam a22002652u 4500 |
| 001 |
LIBRI-005521 |
| 003 |
AR-CrUNPB |
| 007 |
ta |
| 008 |
170901s1998 xxu r 000 0 eng d |
| 040 |
|
|
|a AR-CrUNPB
|
| 082 |
0 |
|
|a 005.1/L.15
|2 20
|
| 700 |
1 |
|
|a Mayr, Ernst W
|e ed.
|
| 700 |
1 |
|
|a Steger, Angelika
|e ed.
|
| 700 |
1 |
|
|a Prömel, Hans Jürgen
|e ed.
|
| 245 |
0 |
0 |
|a Lectures on proof verification and approximation algorithms
|
| 255 |
|
|
|a .1
|
| 260 |
|
|
|a Nueva York :
|b Springer,
|c 1998
|
| 300 |
|
|
|a xii,344 p
|
| 490 |
0 |
|
|a Lecture notes in computer science ;
|v 1367
|
| 590 |
|
|
|a Registros migrados a formato MARC
|
| 650 |
|
7 |
|a COMPUTACION
|2 Unescot
|9 2148
|
| 650 |
|
4 |
|a ALGORITMOS
|9 9586
|
| 942 |
|
|
|c BK
|
| 910 |
|
|
|a ms990202
|
| 999 |
|
|
|c 56893
|d 56893
|