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 hardware & operating systems > Computer architecture & logic design

Buy Now

Computer Science Logic - 11th International Workshop, CSL'97, Annual Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997, Selected Papers (Paperback, 1998 ed.) Loot Price: R1,839

Discovery Miles 18 390

Repayment Terms: R172 pm x 12*

Add to cart

Computer Science Logic - 11th International Workshop, CSL'97, Annual Conference of the EACSL, Aarhus, Denmark, August...

Computer Science Logic - 11th International Workshop, CSL'97, Annual Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997, Selected Papers (Paperback, 1998 ed.)

Mogens Nielsen, Wolfgang Thomas

Series: Lecture Notes in Computer Science, 1414

(sign in to rate)

Loot Price R1,839 Discovery Miles 18 390 | Repayment Terms: R172 pm x 12*

Expected to ship within 10 - 15 working days

Description
Details
Customer Reviews

This book constitutes the strictly refereed post-workshop proceedings of the 11th International Workshop on Computer Science Logic, CSL '97, held as the 1997 Annual Conference of the European Association on Computer Science Logic, EACSL, in Aarhus, Denmark, in August 1997.
The volume presents 26 revised full papers selected after two rounds of refereeing from initially 92 submissions; also included are four invited papers. The book addresses all current aspects of computer science logics and its applications and thus presents the state of the art in the area.

General

Imprint:	Springer-Verlag
Country of origin:	Germany
Series:	Lecture Notes in Computer Science, 1414
Release date:	2001
First published:	1998
Editors:	Mogens Nielsen • Wolfgang Thomas
Dimensions:	235 x 155 x 27mm (L x W x T)
Format:	Paperback
Pages:	520
Edition:	1998 ed.
ISBN-13:	978-3-540-64570-2
Categories:	Books > Computing & IT > Computer hardware & operating systems > Computer architecture & logic design > General Books > Computing & IT > Applications of computing > Artificial intelligence > General Promotions
LSN:	3-540-64570-5
Barcode:	9783540645702