Artículos relacionados a Computer Science Logic: 7th Workshop, CSL '93,...
Computer Science Logic: 7th Workshop, CSL '93, Swansea, United Kingdom, September 13 - 17, 1993. Selected Papers: 832 (Lecture Notes in Computer Science) - Tapa blanda
Reseña del editor
This volume contains the final versions of a collection of papers presented at the Annual Conference of the European Association for Computer Science Logic, CSL '93, held at Swansea, UK in September 1993.
The 21 full papers included were selected from a total of 62 submissions and essentially contribute to the whole area of computer science logic research. They are devoted to such topics as set constraints, lambda calculi, process algebras, program semantics, intuitionistic logics, fixed-point logics, the equivalence problem, Horn clauses, quantifiers, and proof tranformations.
"Sobre este título" puede pertenecer a otra edición de este libro.
- EditorialSpringer
- Año de publicación2008
- ISBN 10 3540582770
- ISBN 13 9783540582779
- EncuadernaciónTapa blanda
- Número de páginas356
Comprar nuevo
Ver este artículo
EUR 38,15
Gastos de envío:
EUR 3,58
A Estados Unidos de America
Los mejores resultados en AbeBooks
Imagen de archivo
Computer Science Logic: 7th Workshop, CSL '93, Swansea, United Kingdom, September 13 - 17, 1993. Selected Papers (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. 0387582770 Ex-library paperback in very nice condition with the usual markings and attachments. Nº de ref. del artículo: UTD14a-1017
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. 360. Nº de ref. del artículo: 263063597
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. 360 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: 5832946
Gastos de envío:
EUR 7,73
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío
Cantidad disponible: 1 disponibles
Imagen del vendedor
Computer Science Logic: 7th Workshop, CSL '93, Swansea, United Kingdom, September 13 - 17, 1993. Selected Papers (Lecture Notes in Computer Science (832)) by Gurevich, Yuri, B??rger, Egon, Meinke, Karl [Paperback ]
Librería: booksXpress, Bayonne, NJ, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
Soft Cover. Condición: new. Nº de ref. del artículo: 9783540582779
Cantidad disponible: 10 disponibles
Imagen de archivo
Computer Science Logic: 7th Workshop, CSL '93, Swansea, United Kingdom, September 13 - 17, 1993. Selected Papers (Lecture Notes in Computer Science, 832)
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: ABLIING23Mar3113020171414
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Computer Science Logic : 7th Workshop, Csl '93, Swansea, United Kingdom, September 13 - 17, 1993. Selected Papers
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: 5905862-n
Cantidad disponible: 5 disponibles
Imagen del vendedor
Computer Science Logic : 7th Workshop, Csl '93, Swansea, United Kingdom, September 13 - 17, 1993. Selected Papers
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: As New. Unread book in perfect condition. Nº de ref. del artículo: 5905862
Cantidad disponible: 5 disponibles
Imagen de archivo
Computer Science Logic : 7th Workshop; CSL '93; Swansea; United Kingdom; September 13 - 17; 1993. Selected Papers
Impresión bajo demandaLibrería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book. Nº de ref. del artículo: ria9783540582779_lsuk
Gastos de envío:
EUR 11,88
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Computer Science Logic
Publicado por
Springer Berlin Heidelberg Jul 1994, 1994
ISBN 10: 3540582770
ISBN 13: 9783540582779
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 the final versions of a collection of papers presented at the Annual Conference of the European Association for Computer Science Logic, CSL '93, held at Swansea, UK in September 1993.The 21 full papers included were selected from a total of 62 submissions and essentially contribute to the whole area of computer science logic research. They are devoted to such topics as set constraints, lambda calculi, process algebras, program semantics, intuitionistic logics, fixed-point logics, the equivalence problem, Horn clauses, quantifiers, and proof tranformations. 356 pp. Englisch. Nº de ref. del artículo: 9783540582779
Gastos de envío:
EUR 23,00
De Alemania a Estados Unidos de America
Destinos, gastos y plazos de envío
Cantidad disponible: 2 disponibles
Imagen del vendedor
Computer Science Logic : 7th Workshop, Csl '93, Swansea, United Kingdom, September 13 - 17, 1993. Selected Papers
Librería: GreatBookPricesUK, Castle Donington, DERBY, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 5905862-n
Gastos de envío:
EUR 17,85
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío
Cantidad disponible: 5 disponibles