Logic and machines : 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 /

Detalles Bibliográficos
Autor principal: Borger, Egon 1946- (Editor/a)
Otros Autores: Hasenjaeger, Gisbert (Editor/a), Rodding, Dieter 1937- (Editor/a)
Formato: Libro
Lenguaje:English
Publicado: Berlín : Springer, 1984.
Colección:Lecture notes in computer science / series editors Gerhard Goos, Juris Hartmanis, Jan van Leeuwen
Materias:
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