BIBLIO is the largest independent book marketplace in the world, with over 100 million books.

Skip to content

Computer Science Logic: 8th Workshop, CSL '94, Kazimierz, Poland, September
Stock photo: cover may vary

Computer Science Logic: 8th Workshop, CSL '94, Kazimierz, Poland, September 25 - 30, 1994. Selected Papers Paperback - 1995

by Leszek Pacholski (Editor); Jerzy Tiuryn (Editor)

Add to wish list

Reader reviews for Computer Science Logic: 8th Workshop, CSL '94, Kazimierz, Poland, September 25 - 30, 1994. Selected Papers

From the publisher

This volume contains revised refereed versions of the best papers presented during the CSL '94 conference, held in Kazimierz, Poland in September 1994; CSL '94 is the eighth event in the series of workshops held for the third time as the Annual Conference of the European Association for Computer Science Logic.
The 38 papers presented were selected from a total of 151 submissions. All important aspects of the methods of mathematical logic in computer science are addressed: lambda calculus, proof theory, finite model theory, logic programming, semantics, category theory, and other logical systems. Together, these papers give a representative snapshot of the area of logical foundations of computer science.

First line

Type systems for current programming languages provide only coarse distinctions amongst data values: Real, Bool, String, etc.

Details

  • Title Computer Science Logic: 8th Workshop, CSL '94, Kazimierz, Poland, September 25 - 30, 1994. Selected Papers
  • Author Leszek Pacholski (Editor); Jerzy Tiuryn (Editor)
  • Binding Paperback
  • Edition 1st
  • Pages 553
  • Volumes 1
  • Language ENG
  • Publisher Springer, New York
  • Publication date 1995-07-18
  • ISBN 9783540600176 / 3540600175
  • Weight 1.73 lbs (0.78 kg)
  • Dimensions 9.21 x 6.14 x 1.15 in (23.39 x 15.60 x 2.92 cm)
  • Category Computers - General Information
  • Library of Congress Catalogue Number 95023973
  • Dewey Decimal Code 004.015

More Copies for Sale

Computer Science Logic: 8th Workshop, CSL '94, Kazimierz, Poland, September 25 - 30, 1994....
Stock photo: cover may vary

Computer Science Logic: 8th Workshop, CSL '94, Kazimierz, Poland, September 25 - 30, 1994. Selected Papers (Lecture Notes in Computer Science)

by Pacholski, Leszek [Editor]; Tiuryn, Jerzy [Editor];

  • Used
  • Very good
  • Paperback
Condition
Very good
Binding
Paperback
ISBN 10 / ISBN 13
9783540600176 / 3540600175
Quantity available
1
Seller
Item price
A$31.04
A$8.74 Delivery to USA

Show details

Description:
Springer, 2008-06-13. Paperback. Very Good. 6x1x9. Ex-library paperback in very nice condition with the usual markings and attachments. Except for library markings, interior clean and unmarked. Tight binding.
Add to wish list
Item price
A$31.04
A$8.74 Delivery to USA
Computer Science Logic: 8th Workshop, CSL '94, Kazimierz, Poland, September 25 - 30, 1994....
Stock photo: cover may vary

Computer Science Logic: 8th Workshop, CSL '94, Kazimierz, Poland, September 25 - 30, 1994. Selected Papers (Lecture Notes in Computer Science, No. 933)

by Leszek Pacholski, Jerzy Tiuryn

  • Used
  • Paperback
Condition
Used
Binding
Paperback
ISBN 10 / ISBN 13
9783540600176 / 3540600175
Quantity available
1
Seller
Item price
A$59.81
A$6.57 Delivery to USA

Show details

Description:
Springer, 1995. *Price HAS BEEN REDUCED by 10% until Monday, July 13 (SALE Item)* 543 pp., softcover, handstamp to front free endpaper, else textually clean and 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.
Add to wish list
Item price
A$59.81
A$6.57 Delivery to USA
Computer Science Logic: 8th Workshop, CSL '94, Kazimierz, Poland, September 25 - 30, 1994....
Stock photo: cover may vary

Computer Science Logic: 8th Workshop, CSL '94, Kazimierz, Poland, September 25 - 30, 1994. Selected Papers (Lecture Notes in Computer Science, 933)

by Pacholski, Leszek

  • Used
  • Paperback
Condition
Used
Edition
1995
Binding
Paperback
ISBN 10 / ISBN 13
9783540600176 / 3540600175
Quantity available
1
Seller
Item price
A$93.24
Free Delivery to USA

Show details

Description:
Springer, 1995-07-18. 1995. paperback. Used: Good. 6.10x1.28x9.25. Buy with confidence. Excellent Customer Service & Return policy.
Add to wish list
Item price
A$93.24
Free Delivery to USA
COMPUTER SCIENCE LOGIC - 8TH INTERNATIONAL WORKSHOP, CSL *94, KAZIMIERZ, POLAND, SEPTEMBER 28-30,...
Stock photo: cover may vary

COMPUTER SCIENCE LOGIC - 8TH INTERNATIONAL WORKSHOP, CSL *94, KAZIMIERZ, POLAND, SEPTEMBER 28-30, 1994: PROCEEDINGS

by PACHOLSKI, LESZEK, TIURYN, JERZY ,

  • New
  • Paperback
  • first
Condition
New
Edition
1st
Binding
Paperback
ISBN 10 / ISBN 13
9783540600176 / 3540600175
Quantity available
5
Seller
Item price
A$93.39
A$29.18 Delivery to USA

Show details

Description:
Springer, 1995. 1st. Paperback. New/New.
Add to wish list
Item price
A$93.39
A$29.18 Delivery to USA
COMPUTER SCIENCE LOGIC - 8TH INTERNATIONAL WORKSHOP, CSL *94, KAZIMIERZ, POLAND, SEPTEMBER 28-30,...
Stock photo: cover may vary

COMPUTER SCIENCE LOGIC - 8TH INTERNATIONAL WORKSHOP, CSL *94, KAZIMIERZ, POLAND, SEPTEMBER 28-30, 1994: PROCEEDINGS

by PACHOLSKI, LESZEK, TIURYN, JERZY ,

  • Used
  • Paperback
  • first
Condition
New
Edition
1st
Binding
Paperback
ISBN 10 / ISBN 13
9783540600176 / 3540600175
Quantity available
5
Seller
Item price
A$93.39
A$29.18 Delivery to USA

Show details

Description:
Springer, 1995. 1st. Paperback. UsedLikeNew/UsedLikeNew.
Add to wish list
Item price
A$93.39
A$29.18 Delivery to USA
Computer Science Logic - 8th International Workshop, Csl *94, Kazimierz, Poland, September 28-30,...
Stock photo: cover may vary

Show details

Description:
New/New. Brand New Original US Edition, Perfect Condition. Printed in English. Excellent Quality, Service and customer satisfaction guaranteed!
Add to wish list
Item price
A$124.48
A$21.89 Delivery to USA
Computer Science Logic
Stock photo: cover may vary

Computer Science Logic

  • Used
Condition
Used
ISBN 10 / ISBN 13
9783540600176 / 3540600175
Quantity available
1
Seller
Item price
A$171.49
A$5.82 Delivery to USA

Show details

Description:
Springer , pp. 568 . Papeback. Used.
Add to wish list
Item price
A$171.49
A$5.82 Delivery to USA
Computer Science Logic: 8th Workshop, CSL '94, Kazimierz, Poland, September 25 - 30, 1994....
Stock photo: cover may vary

Computer Science Logic: 8th Workshop, CSL '94, Kazimierz, Poland, September 25 - 30, 1994. Selected Papers (Lecture Notes in Computer Science, 933)

by Pacholski, Leszek

  • New
  • Paperback
Condition
New
Edition
1995
Binding
Paperback
ISBN 10 / ISBN 13
9783540600176 / 3540600175
Quantity available
6
Seller
Item price
A$178.14
Free Delivery to USA

Show details

Description:
Springer, 1995-07-18. 1995. paperback. New. 6.10x1.28x9.25. Buy with confidence. Excellent Customer Service & Return policy.
Add to wish list
Item price
A$178.14
Free Delivery to USA
Computer Science Logic
Stock photo: cover may vary

Computer Science Logic

by Pacholski, Leszek,

  • New
Condition
New
ISBN 10 / ISBN 13
9783540600176 / 3540600175
Quantity available
5
Seller
Item price
A$187.70
A$5.82 Delivery to USA

Show details

Description:
new.
Add to wish list
Item price
A$187.70
A$5.82 Delivery to USA
Computer Science Logic
Stock photo: cover may vary

Computer Science Logic

by Pacholski, Leszek,

  • Used
Condition
New
ISBN 10 / ISBN 13
9783540600176 / 3540600175
Quantity available
5
Seller
Item price
A$187.70
A$5.82 Delivery to USA

Show details

Description:
like new.
Add to wish list
Item price
A$187.70
A$5.82 Delivery to USA