This volume of conference proceedings reflects the interaction between mathematical logic and computer science. The contributors discuss linear logic, Horn clauses, model checking, lambda calculi, modal logic and problem complexity.
£34.64
Logical Foundations of Computer Science by Anil Nerode (Editor), IUrii V. Matiiasevich (Editor), Y.U. Matiyasevich (Editor)
Pickabook Site Offers : Check out the latest offers available at our website.
Pickabook Info : Pickabook - your on-line bookshop Pickabook has been rated a 5-star online bookshop by eShops. It offers over 5 million books from stock, large discounts, same-day despatch, and delivery to addresses worldwide. Ordering is quick and easy, and Pickabook's website includes lots of interesting information for book lovers.
To find the best offers and deals on the cheapest Logical Foundations Of Computer Science from Springer-verlag Berlin And Heidelberg Gmbh & C click the 'Compare' button and a search will check whether a cheap Logical Foundations Of Computer Science is available from an alternative source other than Pickabook. The Logical Foundations Of Computer Science price comparison may also highlight product offers similar to Springer-verlag Berlin And Heidelberg Gmbh & C Logical Foundations Of Computer Science within the Books category.
