Artículos relacionados a Computation Theory and Logic: 270 (Lecture Notes in...
Sinopsis
This volume contains 37 invited research papers collected in memory of Dieter Rödding, who is known for his work on the classification of recursive functions, on reduction classes, on the spectrum problem and on the complexity of cardinality quantifiers in predicate logic and in arithmetical hierarchy. He was one of the first to pursue the interaction of logic and computer science. The volume reflects the wide spectrum of Dieter Rödding's scientific interests.
"Sinopsis" puede pertenecer a otra edición de este libro.
Reseña del editor
This volume contains 37 invited research papers collected in memory of Dieter Rödding, who is known for his work on the classification of recursive functions, on reduction classes, on the spectrum problem and on the complexity of cardinality quantifiers in predicate logic and in arithmetical hierarchy. He was one of the first to pursue the interaction of logic and computer science. The volume reflects the wide spectrum of Dieter Rödding's scientific interests.
"Sobre este título" puede pertenecer a otra edición de este libro.
- EditorialSpringer
- Año de publicación2008
- ISBN 10 3540181709
- ISBN 13 9783540181705
- EncuadernaciónTapa blanda
- IdiomaInglés
- Número de páginas460
- Contacto del fabricanteno disponible
Comprar nuevo
Ver este artículo
EUR 53,49
EUR 11,99 gastos de envío desde Alemania a España
Destinos, gastos y plazos de envío
Resultados de la búsqueda para Computation Theory and Logic: 270 (Lecture Notes in...
Imagen del vendedor
Computation Theory and Logic (Lecture notes in computer science, vol.270)
Librería: Studibuch, Stuttgart, Alemania
Calificación del vendedor: 5 de 5 estrellas
paperback. Condición: Befriedigend. Seiten; 9783540181705.4 Gewicht in Gramm: 1. Nº de ref. del artículo: 744016
Cantidad disponible: 1 disponibles
Imagen del vendedor
Computation Theory and Logic.
Publicado por
Berlin ua Springer 1987, 1987
ISBN 10: 3540181709
ISBN 13: 9783540181705
Antiguo o usado
Tapa blanda
Original o primera edición
Librería: Dieter Eckert, Bremen, Alemania
Calificación del vendedor: 5 de 5 estrellas
IX,442 S. Orig.-Karton. Erste Ausgabe.- (= Lecture Notes in Computer Science - Vol. 270).- Gutes Exemplar. Nº de ref. del artículo: 97740
Cantidad disponible: 1 disponibles
Imagen de archivo
Computation Theory and Logic (Lecture Notes in Computer Science)
Publicado por
Springer, Berlin, 1987
ISBN 10: 3540181709
ISBN 13: 9783540181705
Antiguo o usado
Taschenbuch
Librería: NEPO UG, Rüsselsheim am Main, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: Gut. 442 Seiten Sofort verfügbar / Versand spätestens am nächsten Arbeitstag / Rechnung mit ausgewiesener MwSt. liegt bei / daily shipping worldwide with invoice / ex library in good condition / aus Bibliothek in guten Zustand/ Sprache: Englisch Gewicht in Gramm: 550. Nº de ref. del artículo: 182922
Cantidad disponible: 1 disponibles
Imagen de archivo
Lecture Notes in Computer Science, Volume 270: Computation Theory and Logic
Publicado por
Springer-Verlag, Berlin, Germany, 1987
ISBN 10: 3540181709
ISBN 13: 9783540181705
Antiguo o usado
Paperback
Original o primera edición
Librería: SUNSET BOOKS 2, Newark, OH, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
Paperback. Condición: Good. No Jacket. 1st. w/full markings, pocket, and/or bookplate. Wear, soil. Size: 8vo. Ex-Library. Nº de ref. del artículo: 015947
Cantidad disponible: 1 disponibles
Imagen del vendedor
Computation Theory and Logic
Publicado por
Springer Berlin Heidelberg, 1987
ISBN 10: 3540181709
ISBN 13: 9783540181705
Nuevo
Taschenbuch
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume contains 37 invited research papers collected in memory of Dieter Rödding, who is known for his work on the classification of recursive functions, on reduction classes, on the spectrum problem and on the complexity of cardinality quantifiers in predicate logic and in arithmetical hierarchy. He was one of the first to pursue the interaction of logic and computer science. The volume reflects the wide spectrum of Dieter Rödding's scientific interests. Nº de ref. del artículo: 9783540181705
Cantidad disponible: 1 disponibles
Imagen de archivo
Computation Theory and Logic (Lecture Notes in Computer Science, 270)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. In. Nº de ref. del artículo: ria9783540181705_new
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Computation Theory and Logic
Publicado por
Springer Berlin Heidelberg, 1987
ISBN 10: 3540181709
ISBN 13: 9783540181705
Nuevo
Tapa blanda
Librería: moluna, Greven, Alemania
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. In Memory of Dieter Roetting. 24.8.1937 - 4.6.1984. On the Occasion of the 50th Anniversary of His BirthThis volume contains 37 invited research papers collected in memory of Dieter Roedding, who is known for his work on the classification of recursive fu. Nº de ref. del artículo: 4883682
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Computation Theory and Logic
Publicado por
Springer Berlin Heidelberg, Springer Berlin Heidelberg Jul 1987, 1987
ISBN 10: 3540181709
ISBN 13: 9783540181705
Nuevo
Taschenbuch
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This volume contains 37 invited research papers collected in memory of Dieter Rödding, who is known for his work on the classification of recursive functions, on reduction classes, on the spectrum problem and on the complexity of cardinality quantifiers in predicate logic and in arithmetical hierarchy. He was one of the first to pursue the interaction of logic and computer science. The volume reflects the wide spectrum of Dieter Rödding's scientific interests.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 460 pp. Englisch. Nº de ref. del artículo: 9783540181705
Cantidad disponible: 1 disponibles
Imagen del vendedor
Computation Theory and Logic
Publicado por
Springer Berlin Heidelberg Jul 1987, 1987
ISBN 10: 3540181709
ISBN 13: 9783540181705
Nuevo
Taschenbuch
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains 37 invited research papers collected in memory of Dieter Rödding, who is known for his work on the classification of recursive functions, on reduction classes, on the spectrum problem and on the complexity of cardinality quantifiers in predicate logic and in arithmetical hierarchy. He was one of the first to pursue the interaction of logic and computer science. The volume reflects the wide spectrum of Dieter Rödding's scientific interests. 460 pp. Englisch. Nº de ref. del artículo: 9783540181705
Cantidad disponible: 2 disponibles
Imagen de archivo
Computation Theory and Logic
Librería: Chiron Media, Wallingford, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
PF. Condición: New. Nº de ref. del artículo: 6666-IUK-9783540181705
Cantidad disponible: 10 disponibles