Computer Science Logic: 9th International Workshop, CSL'95 Annual Conference of the EACSL Paderborn, Germany, September 22-29, 1995 Selected Papers: 1092 (Lecture Notes in Computer Science) - Tapa blanda
Sinopsis
This book contains a carefully refereed selection of papers presented at the 1995 Annual Conference of the European Association for Computer Science Logic, CSL ’95, held in Paderborn, Germany, in September 1995.
The 27 revised full papers included were selected after two rounds of reviewing from a total of 74 submissions for presentation at the conference and present the state-of-the-art in the area. Among the topics addressed are temporal logics, rewriting systems, deduction, theorem proving, process algebra, linear logics, proof theory, formal languages, and others.
"Sinopsis" puede pertenecer a otra edición de este libro.
Reseña del editor
This book contains a carefully refereed selection of papers presented at the 1995 Annual Conference of the European Association for Computer Science Logic, CSL '95, held in Paderborn, Germany, in September 1995.
The 27 revised full papers included were selected after two rounds of reviewing from a total of 74 submissions for presentation at the conference and present the state-of-the-art in the area. Among the topics addressed are temporal logics, rewriting systems, deduction, theorem proving, process algebra, linear logics, proof theory, formal languages, and others.
"Sobre este título" puede pertenecer a otra edición de este libro.
Resultados de la búsqueda para Computer Science Logic: 9th International Workshop,...
Imagen de archivo
Computer Science Logic: 9th International Workshop, CSL '95, Annual Conference of the EACSL, Paderborn, Germany, September 22-29, 1995 Selected Papers
Publicado por
Springer Verlag, New York, 1996
ISBN 10: 3540613773
ISBN 13: 9783540613770
Antiguo o usado
Tapa dura
Librería: Doss-Haus Books, Redondo Beach, CA, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Hardcover. Condición: Very Good. No Jacket. Hardcover 1996 library bound edition. Ex-library book with minimal stamps and labels attached. Binding firm. Pages unmarked and clean. Laminated covers and text in very good condition. Series: Lecture Notes in Computer Science ;1092. [vii, 485 p. : ill. ; 24 cm]. Nº de ref. del artículo: 011547
Comprar usado
EUR 9,76
Envío por EUR 4,63
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
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
Condició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. Nº de ref. del artículo: 934232
Comprar usado
EUR 6,97
Envío por EUR 45,00
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
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)
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: ABLIING23Mar3113020172282
Comprar nuevo
EUR 52,04
Envío por EUR 3,36
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Computer Science Logic : 9th International Workshop, Csl '95, Annual Conference of the Eacsl, Paderborn, Germany, September 22-29, 1995 : 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: 916912-n
Comprar nuevo
EUR 53,20
Envío por EUR 2,22
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 15 disponibles
Imagen de archivo
Computer Science Logic (Paperback)
Publicado por
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 1996
ISBN 10: 3540613773
ISBN 13: 9783540613770
Nuevo
Paperback
Librería: Grand Eagle Retail, Bensenville, IL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: new. Paperback. This book contains a carefully refereed selection of papers presented at the 1995 Annual Conference of the European Association for Computer Science Logic, CSL '95, held in Paderborn, Germany, in September 1995.The 27 revised full papers included were selected after two rounds of reviewing from a total of 74 submissions for presentation at the conference and present the state-of-the-art in the area. Among the topics addressed are temporal logics, rewriting systems, deduction, theorem proving, process algebra, linear logics, proof theory, formal languages, and others. The 27 papers in this volume cover topics including temporal logics, rewriting systems, deduction, theorem proving, process algebra, linear logics, proof theory, and formal languages. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Nº de ref. del artículo: 9783540613770
Comprar nuevo
EUR 55,50
Gastos de envío gratis
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen del vendedor
Computer Science Logic : 9th International Workshop, Csl '95, Annual Conference of the Eacsl, Paderborn, Germany, September 22-29, 1995 : 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: 916912
Comprar usado
EUR 60,36
Envío por EUR 2,22
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 15 disponibles
Imagen de archivo
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)
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: ria9783540613770_new
Comprar nuevo
EUR 58,48
Envío por EUR 13,80
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Computer Science Logic
Publicado por
Springer Berlin Heidelberg, Springer Berlin Heidelberg Jun 1996, 1996
ISBN 10: 3540613773
ISBN 13: 9783540613770
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 book contains a carefully refereed selection of papers presented at the 1995 Annual Conference of the European Association for Computer Science Logic, CSL '95, held in Paderborn, Germany, in September 1995.The 27 revised full papers included were selected after two rounds of reviewing from a total of 74 submissions for presentation at the conference and present the state-of-the-art in the area. Among the topics addressed are temporal logics, rewriting systems, deduction, theorem proving, process algebra, linear logics, proof theory, formal languages, and others. 504 pp. Englisch. Nº de ref. del artículo: 9783540613770
Comprar nuevo
EUR 53,49
Envío por EUR 23,00
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: 2 disponibles
Imagen del vendedor
Computer Science Logic
Publicado por
Springer Berlin Heidelberg, 1996
ISBN 10: 3540613773
ISBN 13: 9783540613770
Nuevo
Tapa blanda
Librería: moluna, Greven, Alemania
Calificación del vendedor: 4 de 5 estrellas
Condición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book contains a carefully refereed selection of papers presented at the 1995 Annual Conference of the European Association for Computer Science Logic, CSL 95, held in Paderborn, Germany, in September 1995.The 27 revised full papers included were s. Nº de ref. del artículo: 4895589
Comprar nuevo
EUR 48,37
Envío por EUR 48,99
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Computer Science Logic
Publicado por
Springer Berlin Heidelberg, Springer Berlin Heidelberg Jun 1996, 1996
ISBN 10: 3540613773
ISBN 13: 9783540613770
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 book contains a carefully refereed selection of papers presented at the 1995 Annual Conference of the European Association for Computer Science Logic, CSL '95, held in Paderborn, Germany, in September 1995.The 27 revised full papers included were selected after two rounds of reviewing from a total of 74 submissions for presentation at the conference and present the state-of-the-art in the area. Among the topics addressed are temporal logics, rewriting systems, deduction, theorem proving, process algebra, linear logics, proof theory, formal languages, and others.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 504 pp. Englisch. Nº de ref. del artículo: 9783540613770
Comprar nuevo
EUR 53,49
Envío por EUR 60,00
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: 1 disponibles