Search - 5th Conference on Automated Deduction, Les Arcs, France, 1980 (Lecture Notes in Computer Science, 87)

5th Conference on Automated Deduction, Les Arcs, France, 1980 (Lecture Notes in Computer Science, 87)
5th Conference on Automated Deduction Les Arcs France 1980 - Lecture Notes in Computer Science, 87
Author: Savoie, France) Conference on Automated Deduction 1980 (Les Arcs, W. Bibel, Robert Kowalski
ISBN-13: 9780387100098
ISBN-10: 0387100091
Pages: 385
Rating:
  • Currently 0/5 Stars.
  ?
0 stars, based on 0 rating
Publisher: Springer
Book Type: Paperback
Members Wishing: 0
Reviews: Amazon | Write a Review


Genres:


My Account
Post Books
Wish List
Bookshelf
Member Tools
Under the Hood
Newsletter Archive
Search for a Book
Browse My Favorite Genres
Advanced Book Search
Book Browser
Club Tag Cloud
NYT Best Sellers
Newbery Medal Winners
Pulitzer Prize Winners
Books Posted Today
Award Winning Books
Mobile / PDAs
Help Center
How to Swap Books
Ask the Librarian
Live Help
Browser Test
Feature List
Amazon Search
Community
Spread the Word
Widgets & APIs
Feeds RSS/XML
Box-O-Books
Discussion Forums
Blog
Facebook
Twitter
Company
Press & Media
Pulse of PBS
Contact Us
Careers
Privacy & Security

Sister Sites
SwapaDVD.com
SwapaCD.com







Back to the Top ↑
By using this Web site, you confirm that you have read, understood, and agreed to be bound by the Terms of Use.
US Patent Number 7,877,315 | Copyright © 2004 - 2012 PaperBackSwap.com. All Rights Reserved.