Importe total (1 artículo artículos):
Destino del pedido:
logic botik symposium logical de taitslin michael (7 resultados)
Comentarios
Ir a los resultados principales
Filtros de búsqueda
Tipo de artículo
- Todos los tipos de productos
- Libros (7)
- Revistas y publicaciones (No hay ningún otro resultado que coincida con este filtro.)
- Cómics (No hay ningún otro resultado que coincida con este filtro.)
- Partituras (No hay ningún otro resultado que coincida con este filtro.)
- Arte, grabados y pósters (No hay ningún otro resultado que coincida con este filtro.)
- Fotografías (No hay ningún otro resultado que coincida con este filtro.)
- Mapas (No hay ningún otro resultado que coincida con este filtro.)
- Manuscritos y coleccionismo de papel (No hay ningún otro resultado que coincida con este filtro.)
Condición
Encuadernación
- Todas
- Tapa dura (No hay ningún otro resultado que coincida con este filtro.)
- Tapa blanda (7)
Más atributos
- Primera edición (No hay ningún otro resultado que coincida con este filtro.)
- Firmado (No hay ningún otro resultado que coincida con este filtro.)
- Sobrecubierta (No hay ningún otro resultado que coincida con este filtro.)
- Con imágenes (2)
- No impresión bajo demanda (7)
Idioma (1)
Gastos de envío gratis
- Envío gratis a Estados Unidos de America (No hay ningún otro resultado que coincida con este filtro.)
Ubicación del vendedor
Valoración de los vendedores
-
Logic at Botik 89: Symposium on Logical Foundations of Computer Science, Pereslavl-Zalessky, USSR July 3-8, 1989 (Lecture Notes in Computer Science 363)
Publicado por Springer-Verlag, Berlin, 1989
ISBN 10: 3540512373 ISBN 13: 9783540512370
Idioma: Inglés
Librería: PsychoBabel & Skoob Books, Didcot, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 8,22
Convertir monedaEUR 11,30 gastos de envío desde Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Good. Estado de la sobrecubierta: No Dust Jacket. Lecture Notes in Computer Science 363; Ex-Library. Previous owner's sticker on the front cover. Ink stamp and small pen inscription on title page; library catalogue sticker on colophon. Traces of sticker residue across spine foot; faintly bumped spine head and rubbed corners/edges. Spine face and foot of page block slightly grubby and marked due to age. Sound, clean book with strong binding and bright text. ADG. Ex-Library.
-
Logic at Botik '89. Symposium on Logical Foundations of Computer Science, Pereslavl-Zalessky, USSR, July 3-8, 1989, Proceedings. Lecture notes in computer science ; 363.
Librería: Antiquariat Bookfarm, Löbnitz, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 5,00
Convertir monedaEUR 16,00 gastos de envío desde Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carrito292 pages Ex-Library book in good condition. 9783540512370 Sprache: Englisch Gewicht in Gramm: 550.
-
Logic at Botik '89 : proceedings. Symposium on Logical Foundations of Computer Science, Pereslavl-Zalessky, USSR, July 3 - 8, 1989. A. R. Meyer , M. A. Taitslin (ed.), Lecture notes in computer science
Publicado por Berlin , Heidelberg , New York , London , Paris , Tokyo , Hong Kong : Springer, 1989
ISBN 10: 3540512373 ISBN 13: 9783540512370
Idioma: Inglés
Librería: NEPO UG, Rüsselsheim am Main, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 10,99
Convertir monedaEUR 24,00 gastos de envío desde Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritokart. Condición: Sehr gut. X, 289 S. , 25 cm 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/, Später zeitschr.-artige Reihe. - Literaturangaben Sprache: Englisch Gewicht in Gramm: 550.
-
Logic at Botik '89: Symposium on Logical Foundations of Computer Science, Pereslavl-Zalessky, USSR, July 3-8, 1989, Proceedings (Lecture Notes in Computer Science, 363)
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 54,82
Convertir monedaEUR 3,57 gastos de envío en Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Logic at Botik '89: Symposium on Logical Foundations of Computer Science, Pereslavl-Zalessky, USSR, July 3-8, 1989, Proceedings (Lecture Notes in Computer Science, 363)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 62,24
Convertir monedaEUR 14,25 gastos de envío desde Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
-
Logic at Botik '89 : Symposium on Logical Foundations of Computer Science, Pereslavl-Zalessky, USSR, July 3-8, 1989, Proceedings
Publicado por Springer Berlin Heidelberg, 1989
ISBN 10: 3540512373 ISBN 13: 9783540512370
Idioma: Inglés
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 53,49
Convertir monedaEUR 30,31 gastos de envío desde Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - The present volume contains the proceedings of Logic at Botik '89, a symposium on logical foundations of computer science organized by the Program Systems Institute of the USSR Academy of Sciences and held at Pereslavl-Zalessky, USSR, July 3-8, 1989. The scope of the symposium was very broad; the topics of interest were: complexity of formal systems, constructive mathematics in computer science, denotational and operational semantics of programs, descriptive complexity, dynamic and algorithmic logics and schematology, formal tools to describe concurrent computations, lambda calculus and related topics, foundations of logic programming, logical foundations of database theory, logics for knowledge representation, modal and temporal logics, type theory in programming, and verification of programs. Thus, the papers in this volume represent many interesting trends in logical foundations of Computer Science, ranging from purely theoretical research to practical applications of theory.
-
Logic at Botik '89 : Symposium on Logical Foundations of Computer Science, Pereslavl-Zalessky, USSR, July 3-8, 1989, Proceedings
Librería: Chiron Media, Wallingford, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 79,03
Convertir monedaEUR 18,42 gastos de envío desde Reino Unido a Estados Unidos de AmericaCantidad disponible: 10 disponibles
Añadir al carritoPF. Condición: New.
