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

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

(author)
£126.50
Paperback 500 Pages / Published: 31/08/1998
  • Not available

This product is currently unavailable

This product is currently unavailable.

  • This item has been added to your basket
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."

Publisher: IEEE Computer Society Press,U.S.
ISBN: 9780818685064
Number of pages: 500
Weight: 1256 g
Dimensions: 279 x 216 x 30 mm

You may also be interested in...

Principles of Data Mining
Added to basket
Bayesian Methods for Hackers
Added to basket
Concrete Mathematics
Added to basket
Foundation Mathematics
Added to basket
Logic for Computer Science
Added to basket
The Algorithm Design Manual
Added to basket
Discrete Mathematics
Added to basket
Discrete Mathematics for Computing
Added to basket
Introduction to Lattices and Order
Added to basket
Sets, Logic and Maths for Computing
Added to basket
Data Analysis with Open Source Tools
Added to basket
A First Course in Network Theory
Added to basket
The Elements of Statistical Learning
Added to basket
MATLAB Demystified
Added to basket
£21.99
Paperback

Please sign in to write a review

Your review has been submitted successfully.