2001 Logic in Computer Science Symposium/Lics: Proceedings, 16-19 June 2001, Boston, Massachusetts (Paperback)
  • 2001 Logic in Computer Science Symposium/Lics: Proceedings, 16-19 June 2001, Boston, Massachusetts (Paperback)
zoom

2001 Logic in Computer Science Symposium/Lics: Proceedings, 16-19 June 2001, Boston, Massachusetts (Paperback)

£144.50
Paperback 441 Pages / Published: 01/09/2001
  • Not available

This product is currently unavailable.

  • This item has been added to your basket
Proceedings of a June 2001 symposium. Topics include a decision procedure for an extensional theory of arrays, semantics of name and value passing, the decision problem for the guarded fragment with transitivity, a universal characterization of the closed Euclidean interval, a second-order system fo"

Publisher: IEEE Computer Society Press,U.S.
ISBN: 9780769512815
Number of pages: 441

You may also be interested in...

Critical Mass
Added to basket
£10.99
Paperback
The Science Book
Added to basket
DK
£17.99
Hardback
The Poetics of Space
Added to basket
Science Dictionary
Added to basket
£4.95
Paperback
A Little History of Science
Added to basket
The Science Delusion
Added to basket
The Age of Wonder
Added to basket
£12.99
Paperback
Chaos
Added to basket
£10.99
Paperback
Einstein
Added to basket
£10.99
Paperback
The Moral Landscape
Added to basket
£9.99
Paperback
Physics and Philosophy
Added to basket
Nothing: A Very Short Introduction
Added to basket
Collapse
Added to basket
£12.99
Paperback

Reviews

Please sign in to write a review

Your review has been submitted successfully.