Artículos relacionados a Computer Science Logic: 13th International Workshop,...
Computer Science Logic: 13th International Workshop, CSL'99, 8th Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999, Proceedings: 1683 (Lecture Notes in Computer Science) - Tapa blanda
Sinopsis
The 1999 Annual Conference of the European Association for Computer Science Logic, CSL'99, was held in Madrid, Spain, on September 20-25, 1999. CSL'99 was the 13th in a series of annual meetings, originally intended as Internat- nal Workshops on Computer Science Logic, and the 8th to be held as the - nual Conference of the EACSL. The conference was organized by the Computer Science Departments (DSIP and DACYA) at Universidad Complutense in M- rid (UCM). The CSL'99 program committee selected 34 of 91 submitted papers for p- sentation at the conference and publication in this proceedings volume. Each submitted paper was refereed by at least two, and in almost all cases, three di erent referees. The second refereeing round, previously required before a - per was accepted for publication in the proceedings, was dropped following a decision taken by the EACSL membership meeting held during CSL'98 (Brno, Czech Republic, August 25, 1998).
"Sinopsis" puede pertenecer a otra edición de este libro.
Reseña del editor
The 1999 Annual Conference of the European Association for Computer Science Logic, CSL'99, was held in Madrid, Spain, on September 20-25, 1999. CSL'99 was the 13th in a series of annual meetings, originally intended as Internat- nal Workshops on Computer Science Logic, and the 8th to be held as the - nual Conference of the EACSL. The conference was organized by the Computer Science Departments (DSIP and DACYA) at Universidad Complutense in M- rid (UCM). The CSL'99 program committee selected 34 of 91 submitted papers for p- sentation at the conference and publication in this proceedings volume. Each submitted paper was refereed by at least two, and in almost all cases, three di erent referees. The second refereeing round, previously required before a - per was accepted for publication in the proceedings, was dropped following a decision taken by the EACSL membership meeting held during CSL'98 (Brno, Czech Republic, August 25, 1998).
Reseña del editor
This book constitutes the refereed proceedings of the 13th Annual International Conference on Computer Science Logic, CSL '99, held under the sponsorship of EACSL in Madrid, Spain in September 1999.
The 34 revised full papers presented together with five invited contributions were carefully reviewed and sleected from a total of 91 submissions. The papers are organized in sections on descriptive complexity; verification; temporal logic; lambda calculus and linear logic; logic programming, modal logic, and description logic; logic and complexity; lambda calculus and type theory; linear logic, mu calculus, and concurrency; and specification and data refinement.
"Sobre este título" puede pertenecer a otra edición de este libro.
EUR 4,39
EUR 20,67 gastos de envío desde Estados Unidos de America a España
Destinos, gastos y plazos de envíoComprar nuevo
Ver este artículo
EUR 39,62
EUR 10,23 gastos de envío desde Reino Unido a España
Destinos, gastos y plazos de envío
Resultados de la búsqueda para Computer Science Logic: 13th International Workshop,...
Imagen de archivo
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
Condició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. Nº de ref. del artículo: ZB720080
Cantidad disponible: 1 disponibles
Imagen de archivo
Computer Science Logic
Librería: Majestic Books, Hounslow, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. pp. 600 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam. Nº de ref. del artículo: 5858545
Cantidad disponible: 1 disponibles
Imagen de archivo
Computer Science Logic
Librería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
Condición: New. pp. 600. Nº de ref. del artículo: 263070766
Cantidad disponible: 1 disponibles
Imagen de archivo
Computer Science Logic
Librería: Biblios, Frankfurt am main, HESSE, Alemania
Calificación del vendedor: 5 de 5 estrellas
Condición: New. pp. 600. Nº de ref. del artículo: 183070756
Cantidad disponible: 1 disponibles
Imagen del vendedor
Computer Science Logic : 13th International Workshop, CSL'99, 8th Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999, Proceedings
Publicado por
Springer Berlin Heidelberg, 1999
ISBN 10: 3540665366
ISBN 13: 9783540665366
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 - The 1999 Annual Conference of the European Association for Computer Science Logic, CSL'99, was held in Madrid, Spain, on September 20-25, 1999. CSL'99 was the 13th in a series of annual meetings, originally intended as Internat- nal Workshops on Computer Science Logic, and the 8th to be held as the - nual Conference of the EACSL. The conference was organized by the Computer Science Departments (DSIP and DACYA) at Universidad Complutense in M- rid (UCM). The CSL'99 program committee selected 34 of 91 submitted papers for p- sentation at the conference and publication in this proceedings volume. Each submitted paper was refereed by at least two, and in almost all cases, three di erent referees. The second refereeing round, previously required before a - per was accepted for publication in the proceedings, was dropped following a decision taken by the EACSL membership meeting held during CSL'98 (Brno, Czech Republic, August 25, 1998). Nº de ref. del artículo: 9783540665366
Cantidad disponible: 1 disponibles
Imagen del vendedor
Computer Science Logic
Publicado por
Springer Berlin Heidelberg, 1999
ISBN 10: 3540665366
ISBN 13: 9783540665366
Nuevo
Tapa blanda
Librería: moluna, Greven, Alemania
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 4897748
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
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: GuthrieBooks, Spring Branch, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: Very Good. Ex-library paperback in good condition with the usual markings and attachments. Text block clean and unmarked. Tight binding. Nº de ref. del artículo: UTD1420744
Cantidad disponible: 1 disponibles
Imagen del vendedor
Computer Science Logic : 13th International Workshop, Csl'99, 8th Annual Conference of Eacsl, Madrid, Spain, September 20-25, 1999, Proceedings
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 918722-n
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Computer Science Logic : 13th International Workshop, Csl'99, 8th Annual Conference of Eacsl, Madrid, Spain, September 20-25, 1999, Proceedings
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 918722-n
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Computer Science Logic
Publicado por
Springer Berlin Heidelberg, Springer Berlin Heidelberg Sep 1999, 1999
ISBN 10: 3540665366
ISBN 13: 9783540665366
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 -The 1999 Annual Conference of the European Association for Computer Science Logic, CSL¿99, was held in Madrid, Spain, on September 20-25, 1999. CSL¿99 was the 13th in a series of annual meetings, originally intended as Internat- nal Workshops on Computer Science Logic, and the 8th to be held as the - nual Conference of the EACSL. The conference was organized by the Computer Science Departments (DSIP and DACYA) at Universidad Complutense in M- rid (UCM). The CSL¿99 program committee selected 34 of 91 submitted papers for p- sentation at the conference and publication in this proceedings volume. Each submitted paper was refereed by at least two, and in almost all cases, three di erent referees. The second refereeing round, previously required before a - per was accepted for publication in the proceedings, was dropped following a decision taken by the EACSL membership meeting held during CSL¿98 (Brno, Czech Republic, August 25, 1998).Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 600 pp. Englisch. Nº de ref. del artículo: 9783540665366
Cantidad disponible: 1 disponibles