Skip to content

Computer Science Logic: 9th International Workshop, CSL '95, Annual Conference
Stock Photo: Cover May Be Different

Computer Science Logic: 9th International Workshop, CSL '95, Annual Conference of the Eacsl Paderborn, Germany, September 22-29, 1995. Selecte Paperback - 1996 - 1996th Edition

by Hans Kleine Buening (Editor)


From the publisher

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.

Details

  • Title Computer Science Logic: 9th International Workshop, CSL '95, Annual Conference of the Eacsl Paderborn, Germany, September 22-29, 1995. Selecte
  • Author Hans Kleine Buening (Editor)
  • Binding Paperback
  • Edition number 1996th
  • Edition 1996
  • Pages 492
  • Volumes 1
  • Language ENG
  • Publisher Springer, New York, NY, U.S.A.
  • Date 1996-06-05
  • ISBN 9783540613770 / 3540613773
  • Weight 1.54 lbs (0.70 kg)
  • Dimensions 9.21 x 6.14 x 1.01 in (23.39 x 15.60 x 2.57 cm)
  • Library of Congress Catalog Number 96023718
  • Dewey Decimal Code 004.015
Back to Top

More Copies for Sale

Computer Science Logic: 9th International Workshop, CSl '95, Annual Conference of the EACSL...
Stock Photo: Cover May Be Different

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)

by Kleine Buening, Hans [Editor]

  • Used
  • very good
  • Paperback
Condition
Used - Very Good
Binding
Paperback
ISBN 13
9783540613770
ISBN 10
3540613773
Quantity Available
1
Seller
Spring Branch, Texas, United States
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
£8.66
£4.81 shipping to USA

Show Details

Description:
Springer, 1996-06-26. Paperback. Very Good. 6x1x9. Ex-library paperback in very nice condition with the usual markings and attachments.
Item Price
£8.66
£4.81 shipping to USA
Computer Science Logic: 9th International Workshop, CSL '95, Annual Conference of the EACSL,...
Stock Photo: Cover May Be Different

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

by Buning, Hans Kleine

  • Used
  • very good
  • Hardcover
Condition
Used - Very Good
Binding
Hardcover
ISBN 13
9783540613770
ISBN 10
3540613773
Quantity Available
1
Seller
Redondo Beach, California, United States
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
£12.04
£3.97 shipping to USA

Show Details

Description:
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].
Item Price
£12.04
£3.97 shipping to USA
Computer Science Logic: 9th International Workshop, CSl '95, Annual Conference of the EACSL...
Stock Photo: Cover May Be Different

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)

by Editor-Hans Kleine Buening

  • Used
  • good
  • Paperback
Condition
Used - Good
Binding
Paperback
ISBN 13
9783540613770
ISBN 10
3540613773
Quantity Available
1
Seller
HOUSTON, Texas, United States
Seller rating:
This seller has earned a 4 of 5 Stars rating from Biblio customers.
Item Price
£16.18
FREE shipping to USA

Show Details

Description:
Springer, 1996-06-26. Paperback. Good.
Item Price
£16.18
FREE shipping to USA
Computer Science Logic : 9th International Workshop, CSl '95, Annual Conference of the EACSL...
Stock Photo: Cover May Be Different

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

by Hans Kleine Buening

  • New
Condition
New
ISBN 13
9783540613770
ISBN 10
3540613773
Quantity Available
776
Seller
Uxbridge, Greater London, United Kingdom
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
£53.13
£7.99 shipping to USA

Show Details

Description:
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.
Item Price
£53.13
£7.99 shipping to USA
Computer Science Logic: 9th International Workshop, CSl '95, Annual Conference of the EACSL...
Stock Photo: Cover May Be Different

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)

by Hans Kleine Buening (Editor)

  • Used
  • Paperback
Condition
Used:Good
Edition
1996
Binding
Paperback
ISBN 13
9783540613770
ISBN 10
3540613773
Quantity Available
1
Seller
HOUSTON, Texas, United States
Seller rating:
This seller has earned a 4 of 5 Stars rating from Biblio customers.
Item Price
£48.59
FREE shipping to USA

Show Details

Description:
Springer, 1996-06-26. 1996. Paperback. Used:Good.
Item Price
£48.59
FREE shipping to USA