Welcome to Loot.co.za! Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search

Checkout
- Your Cart Price

Your cart

Your cart is empty

Books > Computing & IT > Computer programming > Programming languages

Buy Now

Computer Science Logic - 8th Workshop, CSL '94, Kazimierz, Poland, September 25 - 30, 1994. Selected Papers (Paperback, 1995 ed.) Loot Price: R3,126

Discovery Miles 31 260

Repayment Terms: R293 pm x 12*

Add to cart

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

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

Leszek Pacholski, Jerzy Tiuryn

Series: Lecture Notes in Computer Science, 933

(sign in to rate)

Loot Price R3,126 Discovery Miles 31 260 | Repayment Terms: R293 pm x 12*

Expected to ship within 10 - 15 working days

Description
Details
Customer Reviews

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.

General

Imprint:	Springer-Verlag
Country of origin:	Germany
Series:	Lecture Notes in Computer Science, 933
Release date:	July 1995
First published:	1995
Editors:	Leszek Pacholski • Jerzy Tiuryn
Dimensions:	233 x 155 x 29mm (L x W x T)
Format:	Paperback
Pages:	553
Edition:	1995 ed.
ISBN-13:	978-3-540-60017-6
Categories:	Books > Computing & IT > General theory of computing > Mathematical theory of computation Books > Science & Mathematics > Mathematics > Mathematical foundations > Mathematical logic Books > Computing & IT > Computer programming > Programming languages > General Promotions
LSN:	3-540-60017-5
Barcode:	9783540600176