Importe total (1 artículo artículos):
Destino del pedido:
computer science logic csl (187 resultados)
Comentarios
Ir a los resultados principales
Filtros de búsqueda
Tipo de artículo
- Todos los tipos de productos
- Libros (187)
- 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 Más información
- Nuevo (118)
- Como nuevo, Excelente o Muy bueno (32)
- Bueno o Aceptable (36)
- Regular o Pobre (No hay ningún otro resultado que coincida con este filtro.)
- Tal como se indica (1)
Encuadernación
Más atributos
- Primera edición (1)
- 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 (57)
- No impresión bajo demanda (185)
Idioma (2)
Gastos de envío gratis
Ubicación del vendedor
Valoración de los vendedores
-
Computer Science Logic: 5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991 Proceedings (Lecture Notes in Computer Science 626)
Publicado por Springer-Verlag, Berlin, 1992
ISBN 10: 038755789X ISBN 13: 9780387557892
Idioma: Inglés
Librería: PsychoBabel & Skoob Books, Didcot, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 8,01
Convertir monedaEUR 7,54 gastos de envío desde Reino Unido a EspañaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Very Good. Estado de la sobrecubierta: No Dust Jacket. Lecture Notes in Computer Science 626; Ex-Library. Previous owner's sticker and mild crease across front cover. Library catalogue sticker inside front cover. Faintly bumped spine head and rubbed corners. Foot of page block slightly grubby and marked due to age. Sound, clean book with tight binding. ADG. Ex-Library.
Más opciones de compra de otros vendedores en IberLibro
Usado desde EUR 15,55
Encuentre también Tapa blanda
-
CSL '88: 2nd Workshop on Computer Science Logic Duisburg, FRG, October 3-7, 1988 Proceedings (Lecture Notes in Computer Science 385)
Publicado por Springer-Verlag, Berlin, 1989
ISBN 10: 354051659X ISBN 13: 9783540516590
Idioma: Inglés
Librería: PsychoBabel & Skoob Books, Didcot, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 8,01
Convertir monedaEUR 7,54 gastos de envío desde Reino Unido a EspañaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Very Good. Estado de la sobrecubierta: No Dust Jacket. Lecture Notes in Computer Science 385. Ex-Library. Ink stamp and previous owner's sticker on the front cover. Small pen inscription on title page. Minute traces of sticker residue and faint bumps across the spine head and some edges. Sound, clean book with tight binding. ADG. Ex-Library.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 63,87
Usado desde EUR 15,55
Encuentre también Tapa blanda
-
Computer Science Logic: 7th Workshop, Csl '93 Swansea, United Kingdom September 13-17, 1993 Selected Papers (Lecture Notes in Computer Science)
Librería: NEPO UG, Rüsselsheim am Main, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 7,99
Convertir monedaEUR 9,00 gastos de envío desde Alemania a EspañaCantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. 336 Seiten Sprache: Englisch Gewicht in Gramm: 469.
-
Computer science logic : 6th workshop, CSL '92, San Miniato, Italy, September 28 - October 2, 1992; selected papers. Lecture notes in computer science ; Vol. 702
Publicado por Berlin ; Heidelberg ; New York ; London ; Paris ; Tokyo ; Hong Kong ; Barcelona ; Budapest : Springer, 1993
ISBN 10: 3540569928 ISBN 13: 9783540569923
Idioma: Inglés
Librería: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 9,95
Convertir monedaEUR 9,95 gastos de envío desde Alemania a EspañaCantidad disponible: 1 disponibles
Añadir al carritoBroschiert. Condición: Gut. VIII, 439 S. : graph. Darst. Das Buch befindet sich in einem gut erhaltenen Zustand. Namensvermerk des Vorbesitzers im Vorsatz. In ENGLISCHER Sprache. Sprache: Englisch Gewicht in Gramm: 620.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 63,87
Usado desde EUR 19,90
Encuentre también Tapa blanda
-
Computer Science Logic. 5th Workshop, CSL 91 Berne. Proceedings.
Publicado por Springer Berlin, 1992
Idioma: Inglés
Librería: Antiquariat Thomas Haker GmbH & Co. KG, Berlin, Alemania
Miembro de asociación: GIAQ
Calificación del vendedor: 5 de 5 estrellas
EUR 10,20
Convertir monedaEUR 11,00 gastos de envío desde Alemania a EspañaCantidad disponible: 1 disponibles
Añadir al carritoCondición: Gut. 427 S. Guter Zustand/ Good Ex-Library. Stamped edges. Sprache: Englisch Gewicht in Gramm: 811 Paperback/ broschiert broschiert/ Taschenbuch.
-
Computer Science Logic: 13th International Workshop, CSL'99, 8th Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999, Proceedings (Lecture Notes in Computer Science)
Librería: Zubal-Books, Since 1961, Cleveland, OH, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 4,34
Convertir monedaEUR 20,60 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: 1 disponibles
Añadir al carritoCondición: Good. 580 pp., Paperback, ex library, else text clean and binding tight. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 63,87
Usado desde EUR 24,94
Encuentre también Tapa blanda
-
CSL '89: 3rd Workshop on Computer Science Logic. Kaiserslautern, FRG, October 2-6, 1989. Proceedings (Lecture Notes in Computer Science 440)
Librería: Zubal-Books, Since 1961, Cleveland, OH, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 4,42
Convertir monedaEUR 20,60 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: 1 disponibles
Añadir al carritoCondición: Good. 437 pp., Paperback, ex library, else text clean and binding tight. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 63,87
Usado desde EUR 25,02
Encuentre también Tapa blanda
-
Computer Science Logic. 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004, Proceedings.
Publicado por Berlin/ Heidelberg, Springer Berlin., 2004
ISBN 10: 3540230246 ISBN 13: 9783540230243
Idioma: Inglés
Librería: Universitätsbuchhandlung Herta Hold GmbH, Berlin, Alemania
Miembro de asociación: GIAQ ILAB VDA
Calificación del vendedor: 5 de 5 estrellas
EUR 15,00
Convertir monedaEUR 10,00 gastos de envío desde Alemania a EspañaCantidad disponible: 1 disponibles
Añadir al carrito2004. 16 x 24 cm. XI, 522 S. XI, 522 p. Softcover. Versand aus Deutschland / We dispatch from Germany via Air Mail. Einband bestoßen, daher Mängelexemplar gestempelt, sonst sehr guter Zustand. Imperfect copy due to slightly bumped cover, apart from this in very good condition. Stamped. (Lecture Notes in Computer Science). Sprache: Englisch.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 65,48
Usado desde EUR 25,00
Encuentre también Tapa blanda
-
Computer Science Logic: 11th International Workshop, CSL'97, Annual Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997, Selected Papers (Lecture Notes in Computer Science, 1414, Band 1414)
Librería: Studibuch, Stuttgart, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 7,99
Convertir monedaEUR 17,90 gastos de envío desde Alemania a EspañaCantidad disponible: 1 disponibles
Añadir al carritopaperback. Condición: Gut. Seiten; 9783540645702.3 Gewicht in Gramm: 1.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 63,87
Usado desde EUR 25,89
Encuentre también Tapa blanda
-
Computer Science Logic: 8th Workshop, CSL '94, Kazimierz, Poland, September 25 - 30, 1994. Selected Papers (Lecture Notes in Computer Science, No. 933)
Librería: Zubal-Books, Since 1961, Cleveland, OH, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 19,05
Convertir monedaEUR 20,60 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: 1 disponibles
Añadir al carritoCondición: Good. 543 pp., softcover, handstamp to front free endpaper, else textually clean and tight. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 73,09
Usado desde EUR 39,65
Encuentre también Tapa dura Tapa blanda
-
CSL ' 87. 1st Workshop on Computer Science Logic Karlsruhe, FRG, October 12-16, 1987 Proceedings. (=Lecture Notes in Computer Science; 329).
Librería: ralfs-buecherkiste, Herzfelde, MOL, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 15,00
Convertir monedaEUR 15,00 gastos de envío desde Alemania a EspañaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Wie neu. 346 Ehemaliges Bibliotheksexemplar, Gebrauchsspuren, div. Stempel, gebräunt Mathematic Mathematik With figures. Ex-Library. Brownish paper. Guter Zustand/ Good With figures. Ex-Library. ha1090478 Sprache: Deutsch Gewicht in Gramm: 750.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 63,87
Usado desde EUR 30,00
Encuentre también Tapa blanda Original o primera edición
-
Computer Science Logic: 9th International Workshop, CSL'95 Annual Conference of the EACSL Paderborn, Germany, September 22-29, 1995 Selected Papers (Lecture Notes in Computer Science, 1092, Band 1092)
Librería: Gerald Wollermann, Bad Vilbel, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 6,97
Convertir monedaEUR 35,00 gastos de envío desde Alemania a EspañaCantidad disponible: 1 disponibles
Añadir al carritoCondición: Gut. 1996. 504 Seiten Von 1996. Innerhalb Deutschlands Versand je nach Größe/Gewicht als Großbrief bzw. Bücher- und Warensendung mit der Post oder per DHL. Rechnung mit MwSt.-Ausweis liegt jeder Lieferung bei. Sprache: Englisch Gewicht in Gramm: 662 Taschenbuch, Größe: 15.5 x 2.9 x 23.5 cm.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 63,87
Usado desde EUR 41,97
Encuentre también Tapa dura Tapa blanda
-
Computer Science Logic: 4th Workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990. Proceedings: 4th, 1990 (Lecture Notes in Computer Science)
Librería: NEPO UG, Rüsselsheim am Main, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 44,14
Convertir monedaEUR 9,00 gastos de envío desde Alemania a EspañaCantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: Sehr gut. 399 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.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 65,48
Usado desde EUR 53,14
Encuentre también Tapa blanda
-
Computer Science Logic: 12th International Workshop, CSL'98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998, Proceedings (Lecture Notes in Computer Science, 1584)
Librería: ALLBOOKS1, Direk, SA, Australia
Calificación del vendedor: 5 de 5 estrellas
EUR 57,60
Convertir monedaGratis gastos de envío desde Australia a EspañaCantidad disponible: 1 disponibles
Añadir al carrito
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 57,60
Usado desde EUR 140,38
Encuentre también Tapa blanda
-
Computer Science Logic: 7th Workshop, CSL '93, Swansea, United Kingdom, September 13 - 17, 1993. Selected Papers (Lecture Notes in Computer Science, 832)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 58,66
Convertir monedaEUR 5,21 gastos de envío desde Reino Unido a EspañaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 63,87
Usado desde EUR 94,30
Encuentre también Tapa blanda
-
Computer Science Logic: 10th International Workshop, CSL '96, Annual Conference of the EACSL, Utrecht, The Netherlands, September 21 - 27, 1996, ... (Lecture Notes in Computer Science, 1258)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 58,66
Convertir monedaEUR 5,21 gastos de envío desde Reino Unido a EspañaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 63,87
Usado desde EUR 70,39
Encuentre también Tapa blanda
-
Computer Science Logic: 5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991. Proceedings (Lecture Notes in Computer Science, 626)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 58,66
Convertir monedaEUR 5,21 gastos de envío desde Reino Unido a EspañaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 63,87
Usado desde EUR 107,59
Encuentre también Tapa blanda
-
Computer Science Logic : 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings
Publicado por Springer Berlin Heidelberg, 2005
ISBN 10: 3540282319 ISBN 13: 9783540282310
Idioma: Inglés
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 53,49
Convertir monedaEUR 11,99 gastos de envío desde Alemania a EspañaCantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - TheAnnualConferenceoftheEuropeanAssociationforComputerScienceLogic (EACSL), CSL 2005, was held at the University of Oxford on 22 25 August 2005. The conference series started as a programme of International Workshops onComputerScienceLogic,andtheninits6thmeetingbecametheAnnualC- ference of the EACSL. This conference was the 19th meeting and 14th EACSL conference; it was organized by the Computing Laboratory at the University of Oxford. The CSL 2005 Programme Committee considered 108 submissions from 25 countries during a two-week electronic discussion; each paper was refereed by at least three reviewers. The Committee selected 33 papers for presentation at the conference and publication in these proceedings. The Programme Committee invited lectures from Matthias Baaz, Ulrich Berger, Maarten Marx and Anatol Slissenko; the papers provided by the invited speakers appear at the front of this volume. Instituted in 2005, the Ackermann Award is the EACSL Outstanding D- sertation Award for Logic in Computer Science. The award winners for the - augural year, Mikola j Bojanczyk, Konstantin Korovin and Nathan Segerlind, were invited to present their work at the conference. Citations for the awards, abstracts of the theses, and biographical sketches of the award winners are at the end of the proceedings.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 65,48
Usado desde EUR 79,19
Encuentre también Tapa blanda
-
Computer Science Logic : 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 23-27, 2010, Proceedings
Librería: Buchpark, Trebbin, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 63,04
Convertir monedaEUR 14,90 gastos de envío desde Alemania a EspañaCantidad disponible: 1 disponibles
Añadir al carritoCondición: Sehr gut. Zustand: Sehr gut | Seiten: 548 | Sprache: Englisch | Produktart: Sonstiges.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 90,57
Usado desde EUR 77,94
Encuentre también Tapa blanda
-
Computer Science Logic: 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008, Proceedings (Lecture Notes in Computer Science, 5213)
Librería: ALLBOOKS1, Direk, SA, Australia
Calificación del vendedor: 5 de 5 estrellas
EUR 87,66
Convertir monedaGratis gastos de envío desde Australia a EspañaCantidad disponible: 1 disponibles
Añadir al carrito
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 87,66
Usado desde EUR 107,18
Encuentre también Tapa blanda
-
Computer Science Logic : 23rd International Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009, Proceedings
Librería: Buchpark, Trebbin, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 84,73
Convertir monedaEUR 14,90 gastos de envío desde Alemania a EspañaCantidad disponible: 1 disponibles
Añadir al carritoCondición: Sehr gut. Zustand: Sehr gut | Seiten: 565 | Sprache: Englisch | Produktart: Bücher.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 124,93
Usado desde EUR 99,63
Encuentre también Tapa blanda
-
Computer Science Logic: 17th International Workshop, CSL 2003, 12th Annual Conference of the EACSL, and 8th Kurt Gödel Colloquium, KGC 2003, Vienna, ... (Lecture Notes in Computer Science, 2803)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 112,40
Convertir monedaEUR 5,21 gastos de envío desde Reino Unido a EspañaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 117,61
Encuentre también Tapa blanda
-
Computer Science Logic: 14th International Workshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21-26, 2000 Proceedings (Lecture Notes in Computer Science, 1862)
Librería: GoldBooks, Denver, CO, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 91,60
Convertir monedaEUR 27,04 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: new. New Copy. Customer Service Guaranteed.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 118,64
Usado desde EUR 139,68
Encuentre también Tapa blanda
-
Computer Science Logic : 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, Proceedings
Publicado por Springer Berlin Heidelberg, 2006
ISBN 10: 3540454586 ISBN 13: 9783540454588
Idioma: Inglés
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 106,99
Convertir monedaEUR 11,99 gastos de envío desde Alemania a EspañaCantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 20th International Workshop on Computer Science Logic, CSL 2006. The book presents 37 revised full papers together with 4 invited contributions, addressing all current aspects of logic in computer science. Coverage includes automated deduction and interactive theorem proving, constructive mathematics and type theory, equational logic and term rewriting, automata and formal logics, modal and temporal logic, model checking, finite model theory, and more.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 118,98
Usado desde EUR 142,59
Encuentre también Tapa blanda
-
Computer Science Logic : 21 International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, Proceedings
Publicado por Springer Berlin Heidelberg, 2007
ISBN 10: 3540749144 ISBN 13: 9783540749141
Idioma: Inglés
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 106,99
Convertir monedaEUR 11,99 gastos de envío desde Alemania a EspañaCantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 21st International Workshop on Computer Science Logic, CSL 2007, held as the 16th Annual Conference of the EACSL in Lausanne, Switzerland. The 36 revised full papers presented together with the abstracts of six invited lectures are organized in topical sections on logic and games, expressiveness, games and trees, logic and deduction, lambda calculus, finite model theory, linear logic, proof theory, and game semantics.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 118,98
Usado desde EUR 193,77
Encuentre también Tapa blanda
-
Computer Science Logic : 15th International Workshop, CSL 2001. 10th Annual Conference of the EACSL, Paris, France, September 10-13, 2001 Proceedings
Publicado por Springer Berlin Heidelberg, 2001
ISBN 10: 3540425543 ISBN 13: 9783540425540
Idioma: Inglés
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 106,99
Convertir monedaEUR 11,99 gastos de envío desde Alemania a EspañaCantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - The Annual Conference of the European Association for Computer Science Logic, CSL 2001, was held in Paris, Palais de la Mutualit e, on September 10 13, 2001. This was the 15th in a series of annual meetings, originally intended as International Workshops on Computer Science Logic, and the 10th to be held as the Annual Conference of the EACSL. The conference was organized by La- ratoire Sp eci cation et V eri cation (CNRS & ENS Cachan). The CSL 2001 program committee selected 39 of 91 submitted papers for presentation at the conference and publication in this proceedings volume. The submittedpapersoriginatedfrom26di erentcountries.Eachpaperwasrefereed by at least three reviewers. In addition to the contributed papers, the scienti c program of CSL 2001 - cluded three invited talks (Jean-Yves Girard, Peter O Hearn, and Jan Van den Bussche). This volume includes the papers provided by the invited speakers as well as the selected contributed papers. The topics of the papers include: linear logic, descriptive complexity, semantics, higher-order programs, modal logics, veri cation, automata, -calculus, induction, equational calculus, and constr- tive theory of types. I am most grateful to the members of the program committee and all the referees for their thorough work. I am also particularly indebted to Fran cois Laroussinie, helped by Patricia Bouyer, Nicolas Markey, and Philippe Schn- belen, for the successful organization of this event. Special thanks to Emmanuel Fleury for the design of the beautiful Notre-Dame de Paris poster.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 118,98
Usado desde EUR 141,96
Encuentre también Tapa blanda
-
Computer Science Logic : 16th International Workshop, CSL 2002, 11th Annual Conference of the EACSL, Edinburgh, Scotland, UK, September
Publicado por Springer Berlin Heidelberg, 2002
ISBN 10: 3540442405 ISBN 13: 9783540442400
Idioma: Inglés
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 106,99
Convertir monedaEUR 11,99 gastos de envío desde Alemania a EspañaCantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - The Annual Conference of the European Association for Computer Science Logic, CSL 2002, was held in the Old College of the University of Edinburgh on 22-25 September 2002. The conference series started as a programme of Int- national Workshops on Computer Science Logic, and then in its sixth meeting became the Annual Conference of the EACSL. This conference was the sixteenth meeting and eleventh EACSL conference; it was organized by the Laboratory for Foundations of Computer Science at the University of Edinburgh. The CSL 2002 Programme Committee considered 111 submissions from 28 countries during a two week electronic discussion; each paper was refereed by at least three reviewers. The Committee selected 37 papers for presentation at the conference and publication in these proceedings. The Programme Committee invited lectures from Susumu Hayashi, Frank Neven, and Damian Niwinski; the papers provided by the invited speakers appear at the front of this volume. In addition to the main conference, two tutorials - 'Introduction to Mu- Calculi' (Julian Brad eld) and 'Parametrized Complexity' (Martin Grohe) - were given on the previous day.
Más opciones de compra de otros vendedores en IberLibro
Nuevo desde EUR 118,98
Usado desde EUR 139,68
Encuentre también Tapa blanda
