in the UK
This text covers the 13th Symposium on Logic in Computer Science held in 1998. The symposium covered topics in computational mathemetics and complexity theory. Contents include: finite model theory; verification; logics; concurrency; category theory; and theorem proving and rewriting."
IEEE Computer Society Press,U.S.
Other books by this author See all titles
This book can be found in...
The prices displayed are for website purchases only, and may differ to the prices in Waterstones shops.