Ir al contenido

Computer Science Logic: 9th International Workshop, CSL '95, Annual Conference
Foto de archivo: la portada puede ser diferente

Computer Science Logic: 9th International Workshop, CSL '95, Annual Conference of the Eacsl Paderborn, Germany, September 22-29, 1995. Selecte Tapa blanda - 1996 - 1996th Edición

de Hans Kleine Buening (Editor)

Información de la editorial

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.

Detalles

  • Título Computer Science Logic: 9th International Workshop, CSL '95, Annual Conference of the Eacsl Paderborn, Germany, September 22-29, 1995. Selecte
  • Autor Hans Kleine Buening (Editor)
  • Encuadernación Tapa blanda
  • Número de edición 1996th
  • Edición 1996
  • Páginas 492
  • Volúmenes 1
  • Idioma ENG
  • Editorial Springer, New York, NY, U.S.A.
  • Fecha de publicación 1996-06-05
  • ISBN 9783540613770 / 3540613773
  • Peso 1.54 libras (0.70 kg)
  • Dimensiones 9.21 x 6.14 x 1.01 pulgadas (23.39 x 15.60 x 2.57 cm)
  • Número de catálogo de la Librería del Congreso de EEUU 96023718
  • Dewey Decimal Code 004.015
Ir arriba↑

Más ejemplares

Computer Science Logic: 9th International Workshop, CSl '95, Annual Conference of the EACSL...
Foto de archivo: la portada puede ser diferente

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)

de Kleine Buening, Hans [Editor]

  • Usado
  • very good
  • Tapa blanda
Estado
Usado - Very Good
Encuadernación
Paperback
ISBN 10 / ISBN 13
9783540613770 / 3540613773
Cantidad disponible
1
Librería
GuthrieBooks
Spring Branch, Texas, United States
Puntuación del vendedor:
Este vendedor ha conseguido 5 de las cinco estrellas otorgadas por los compradores de Biblio.
Precio
EUR 10.19
EUR 5.66 enviando a USA

Mostrar detalles

Descripción:
Springer, 1996-06-26. Paperback. Very Good. 6x1x9. Ex-library paperback in very nice condition with the usual markings and attachments.
Precio
EUR 10.19
EUR 5.66 enviando a USA
Computer Science Logic: 9th International Workshop, CSL '95, Annual Conference of the EACSL,...
Foto de archivo: la portada puede ser diferente

Computer Science Logic: 9th International Workshop, CSL '95, Annual Conference of the EACSL, Paderborn, Germany, September 22-29, 1995 Selected Papers

de Buning, Hans Kleine

  • Usado
  • very good
  • Tapa dura
Estado
Usado - Very Good
Encuadernación
Hardcover
ISBN 10 / ISBN 13
9783540613770 / 3540613773
Cantidad disponible
1
Librería
Doss-Haus Books
Redondo Beach, California, United States
Puntuación del vendedor:
Este vendedor ha conseguido 5 de las cinco estrellas otorgadas por los compradores de Biblio.
Precio
EUR 14.18
EUR 4.68 enviando a USA

Mostrar detalles

Descripción:
New York: Springer Verlag, 1996. Book. Very Good. Hardcover. 8vo - over 7¾" - 9¾" tall. 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].
Precio
EUR 14.18
EUR 4.68 enviando a USA
Computer Science Logic: 9th International Workshop, CSl '95, Annual Conference of the EACSL...
Foto de archivo: la portada puede ser diferente

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)

de Editor-Hans Kleine Buening

  • Usado
  • good
  • Tapa blanda
Estado
Usado - Good
Encuadernación
Paperback
ISBN 10 / ISBN 13
9783540613770 / 3540613773
Cantidad disponible
1
Librería
Ergodebooks
HOUSTON, Texas, United States
Puntuación del vendedor:
Este vendedor ha conseguido 4 de las cinco estrellas otorgadas por los compradores de Biblio.
Precio
EUR 19.05
Envío gratuito a USA

Mostrar detalles

Descripción:
Springer, 1996-06-26. Paperback. Good.
Precio
EUR 19.05
Envío gratuito a USA
Computer Science Logic : 9th International Workshop, CSl '95, Annual Conference of the EACSL...
Foto de archivo: la portada puede ser diferente

Computer Science Logic : 9th International Workshop, CSl '95, Annual Conference of the EACSL Paderborn, Germany, September 22-29, 1995. Selected Papers

de Hans Kleine Buening

  • Nuevo
Estado
New
ISBN 10 / ISBN 13
9783540613770 / 3540613773
Cantidad disponible
776
Librería
Ria Christie Collections
Uxbridge, Greater London, United Kingdom
Puntuación del vendedor:
Este vendedor ha conseguido 5 de las cinco estrellas otorgadas por los compradores de Biblio.
Precio
EUR 62.82
EUR 9.45 enviando a USA

Mostrar detalles

Descripción:
New. New Book; Fast Shipping from UK; Not signed; Not First Edition; The Computer Science Logic : 9th International Workshop, CSl '95, Annual Conference of the EACSL Paderborn, Germany, September 22-29, 1995. Selected Papers.
Precio
EUR 62.82
EUR 9.45 enviando a USA
Computer Science Logic: 9th International Workshop, CSl '95, Annual Conference of the EACSL...
Foto de archivo: la portada puede ser diferente

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)

de Kleine Buening, Hans [Editor]

  • Nuevo
  • Tapa blanda
Estado
New
Encuadernación
Paperback
ISBN 10 / ISBN 13
9783540613770 / 3540613773
Cantidad disponible
5
Librería
SOUTHAUSTRALIANBOOKS
campbelltown, Florida, United States
Puntuación del vendedor:
Este vendedor ha conseguido 2 de las cinco estrellas otorgadas por los compradores de Biblio.
Precio
EUR 158.79
EUR 9.45 enviando a USA

Mostrar detalles

Descripción:
Springer. paperback. New. 6x1x9. Brand New Book in Publishers original Sealing
Precio
EUR 158.79
EUR 9.45 enviando a USA
Mostrar todos los ejemplares
Ir arriba↑

Espera... estamos cargando la página solicitada.