Automated Deduction - Cade-13: 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30 - August 3, 1996. Proceedings (Lecture Notes in Computer Science, 1104)
Language: English
Published by Springer, 1996
- Softcover
- New
Seller: BOOKWEST, Phoenix, AZ, U.S.A.BOOKWEST
3-star seller
AbeBooks seller since December 10, 2022
Softcover
Condition: New
US$ 74.99
US$ 4.99 shipping
Ships within U.S.A.
Quantity: 1 available
Add to basketFree 30-day returns
Item description from seller
FAST SHIPS FROM USA.
Seller Inventory # 100D2-107C4-PB-3540615113-2P4
- Title
- Automated Deduction - Cade-13: 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30 - August 3, 1996. Proceedings (Lecture Notes in Computer Science, 1104)
- Publisher
- Springer
- Publication year
- 1996
- Condition
- New
- Binding
- Soft cover
- Language
- English
- ISBN 10
- 3540615113
- ISBN 13
- 9783540615118
This book constitutes the refereed proceedings of the 13th International Conference on Automated Deduction, CADE-13, held in July/August 1996 in New Brunswick, NJ, USA, as part of FLoC '96.
The volume presents 46 revised regular papers selected from a total of 114 submissions in this category; also included are 15 selected system descriptions and abstracts of two invited talks. The CADE conferences are the major forum for the presentation of new results in all aspects of automated deduction. Therefore, the volume is a timely report on the state-of-the-art in the area.
The volume presents 46 revised regular papers selected from a total of 114 submissions in this category; also included are 15 selected system descriptions and abstracts of two invited talks. The CADE conferences are the major forum for the presentation of new results in all aspects of automated deduction. Therefore, the volume is a timely report on the state-of-the-art in the area.
"Synopsis" may belong to another edition of this title.
Shipping rates within U.S.A.
| Item | 5 to 14 business days | 3 to 6 business days |
|---|---|---|
| First item | US$ 4.99 | US$ 9.99 |
Payment methods
- Paypal
Store description
Selling books: medical, engineering, law: ZWe have been selling books for over 22 years from Phoenix AZ USA.
Specialty
ProfessionalSeller's business information
BOOKWEST
AZ, U.S.A.
Terms of sale
Welcome.
contact info:
Vasant Abhyanker
4211 E Wilshire Dr
Phoenix
AZ 85008
Phone: 602-957-0956
Shipping terms
Hardcoer or Bubblepack packaging.