7th International Conference on Automated Deduction: Proceedings
by R E Shostak;Robert Shostak (9780387960227)

7th International Conference on Automated Deduction: Proceedings
 

R E Shostak;Robert Shostak


Release Date: 18 May 1984
Format: Paperback / softback
Pages: 509
Category: Logic
ISBN: 9780387960227
ISBN-10: 0387960228




AUD $223.95

 This title is not held in stock & is ordered from suppliers, subject to availability.



Write a customer review of 7th International Conference on Automated Deduction: Proceedings.



If you like this title please tell others:

tell others

post to your Facebook wall post on Twitter post on Digg recommend to Stumbleupon bookmark on Delicious RSS feed send to a friend


Australian BookShop
Australian Bookshop. Established 2003
Search
Shopping Cart Customer Support


HolisticPage
International Online Store
of Inspiration
we ship everywhere
Australia Post
Australia Wide
.
Worldwide