Logical Foundations of Computer Science by Sergei Artemov
Look inside with Google Book Preview
Logical Foundations of Computer Science
By Sergei Artemov

Logical Foundations of Computer Science

International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007 ; Proceedings

Volume editor See other recent books by Sergei Artemov See other recent books by Anil Nerode
Format: Paperback

Normal Price: $192.46
Your Price: $173.21 AUD, inc. GST
Shipping: $7.95 per order
You Save: $19.25! (10% off normal price)
Plus...earn $8.66 in Boomerang Bucks
Availability: Available Available, ships in 10-12 days, Not for Xmas



Logical Foundations of Computer Science by Sergei Artemov

Book Description

This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2007, held in New York, NY, USA in June 2007. The volume presents 36 revised refereed papers that address all current aspects of logic in computer science.

Buy Logical Foundations of Computer Science book by Sergei Artemov from Australia's Online Bookstore, Boomerang Books.


Book Details

ISBN: 9783540727323
ISBN-10: 3540727329
Format: Paperback
(229mm x 152mm x 27mm)
Pages: 528
Imprint: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Publish Date: 25-May-2007
Country of Publication: Germany

Other Editions...


Reviews

» Have you read this book? We'd like to know what you think about it - write a review about Logical Foundations of Computer Science book by Sergei Artemov and you'll earn 50c in Boomerang Bucks loyalty dollars (you must be a member - it's free to sign up!)

Write a book review


Boomerang Bucks close

For every $20 you spend on books, you will receive $1 in Boomerang Bucks loyalty dollars. You can use your Boomerang Bucks as a credit towards a future purchase from Boomerang Books. Note that you must be a Member (free to sign up) and that conditions do apply.

Recent books by Sergei Artemov close
»
Recent books by Anil Nerode close
Logical Foundations of Computer Science by Anil Nerode
Logic Programming and Non-Monotonic Reasoning by Anil Nerode
»
BoomerangBooks.com.au close