|
|
|
|
LEADER |
01120nam a2200241 u 4500 |
001 |
000134498 |
005 |
20200903103345.0 |
008 |
000609s1984 gw ||||| eng |
020 |
|
|
|a 3540133313
|
035 |
|
|
|a 6077643
|
040 |
|
|
|a Sistema de Bibliotecas de la Universidad de Costa Rica
|
082 |
0 |
|
|a 511.306
|b L832L
|2 20
|
100 |
1 |
|
|a Borger, Egon
|d 1946-
|e Editor/a
|
245 |
1 |
0 |
|a Logic and machines :
|b decision problems and complexity, proceedings of the Symposium "Rekursive Kombinatorik" held from May 23-28, 1983 at the Institut für Mathematische Logik und Grundlagenforschung der Universitat Münster/Westfalen /
|c edited by E. Borger, G. Hasenjaeger and D. Rodding.
|
260 |
|
|
|a Berlín :
|b Springer,
|c 1984.
|
300 |
|
|
|a 456 páginas.
|
490 |
0 |
|
|a Lecture notes in computer science / series editors Gerhard Goos, Juris Hartmanis, Jan van Leeuwen
|
650 |
0 |
7 |
|a TEORIA DE LAS MAQUINAS
|x CONGRESOS
|
700 |
1 |
|
|a Hasenjaeger, Gisbert
|e Editor/a
|
700 |
1 |
|
|a Rodding, Dieter
|d 1937-
|e Editor/a
|
912 |
|
|
|a 26-JUN-2000 - ROJAS SOTO, ANA EUDITH
|
917 |
|
|
|a 09-JUN-2000 - ACUÑA SOLANO, ELIZABETH
|
916 |
|
|
|a Centro Catalográfico
|