Logic in Computer Science: LICS '98 13th: Symposium Proceedings (Paperback)

by IEEE Computer Society

Format: Paperback 500 pages

Not in stock

Usually despatched within 7 weeks

£126.50

Delivered FREE
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."

Book details

Published
31/08/1998

Publisher
IEEE Computer Society Press,U.S.

ISBN
9780818685064


Other books by this author See all titles

The prices displayed are for website purchases only, and may differ to the prices in Waterstones shops.