Items related to Computer Science Logic: 8th Workshop, CSL '94,...
Computer Science Logic: 8th Workshop, CSL '94, Kazimierz, Poland, September 25 - 30, 1994. Selected Papers: 933 (Lecture Notes in Computer Science, 933) - Softcover
Synopsis
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.
"synopsis" may belong to another edition of this title.
Synopsis
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.
"About this title" may belong to another edition of this title.
Buy New
View this item
£ 64.38
FREE shipping from U.S.A. to United Kingdom
Destination, rates & speeds
Search results for Computer Science Logic: 8th Workshop, CSL '94,...
Stock Image
Computer Science Logic: 8th Workshop, CSL '94, Kazimierz, Poland, September 25 - 30, 1994. Selected Papers (Lecture Notes in Computer Science, No. 933)
Seller: Zubal-Books, Since 1961, Cleveland, OH, U.S.A.
Seller rating 5 out of 5 stars
Condition: Good. *FREE DOMESTIC SHIPPING until Monday, Aug. 4* 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. Seller Inventory # ZB571076
Quantity: 1 available
Stock Image
Computer Science Logic - 8th International Workshop, Csl *94, Kazimierz, Poland, September 28-30, 1994: Proceedings
Seller: Basi6 International, Irving, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Seller Inventory # ABEJUNE24-268040
Quantity: 1 available
Stock Image
Computer Science Logic - 8th International Workshop, Csl *94, Kazimierz, Poland, September 28-30, 1994: Proceedings
Seller: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. Seller Inventory # ABNR-84078
Quantity: 1 available
Stock Image
Computer Science Logic: 8th Workshop, CSL '94, Kazimierz, Poland, September 25 - 30, 1994. Selected Papers (Lecture Notes in Computer Science)
Seller: GuthrieBooks, Spring Branch, TX, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Except for library markings, interior clean and unmarked. Tight binding. Seller Inventory # UTD14a-0974
Quantity: 1 available
Stock Image
Computer Science Logic: 8th Workshop, CSL '94 Kazimierz, Poland, September 25-30, 1994 Selected Papers
Published by
Springer Verlag, New York, 1995
ISBN 10: 3540600175
ISBN 13: 9783540600176
Used
Hardcover
Seller: Doss-Haus Books, Redondo Beach, CA, U.S.A.
Seller rating 5 out of 5 stars
Hardcover. Condition: Very Good. No Jacket. Hardcover 1995 library bound edition. Ex-library book with stamps and labels attached. Binding firm. Pages unmarked and clean. Laminated covers and text in very good condition. Series: Lecture Notes in Computer Science ;933. [ix, 541 p. : ill. ; 24 cm]. Seller Inventory # 011538
Quantity: 1 available
Stock Image
Computer Science Logic
Seller: Majestic Books, Hounslow, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. pp. 568 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam. Seller Inventory # 5802989
Quantity: 1 available
Stock Image
Computer Science Logic
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. pp. 568. Seller Inventory # 263093554
Quantity: 1 available
Stock Image
Computer Science Logic
Seller: Biblios, Frankfurt am main, HESSE, Germany
Seller rating 5 out of 5 stars
Condition: New. pp. 568. Seller Inventory # 183093560
Quantity: 1 available
Stock Image
Computer Science Logic: 8th Workshop, CSL '94, Kazimierz, Poland, September 25 - 30, 1994. Selected Papers (Lecture Notes in Computer Science, 933)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783540600176_new
Quantity: Over 20 available
Seller Image
Computer Science Logic
Published by
Springer Berlin Heidelberg, 1995
ISBN 10: 3540600175
ISBN 13: 9783540600176
New
Softcover
Seller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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 o. Seller Inventory # 4895071
Quantity: Over 20 available