Automated Deduction for Projection Elimination : Imprint: Akademische Verlagsgesellschaft - Volume 324 Dissertations in Artificial Intelligence
Wernhard, C.
ISBN-10:
1586039830
ISBN-13:
9781586039837
|
List price: |
$73.00
|
|
Edition:
|
2009
|
|
Publisher:
|
I O S Press, Incorporated
|
|
Binding:
|
Trade Paper
|
|
Pages:
|
211
|
|
Size:
|
6.00" wide x 8.00" long x 0.75" tall
|
|
Weight:
|
1.03 lbs.
|
|
Language:
|
English
|
100% Money Back Guarantee: Wrong item? No problem! Our hassle-free
returns policy has you covered. We'll
also process your order within 1-2 business days. Learn more about our
shipping policy.
http://www.textbooksrus.com/search/bookdetail/default.aspx?isbn=9781586039837
http://www.textbooksrus.com/viewimg.ashx?ft=large&isbn=1586039830
Check out Automated Deduction for Projection Elimination : Imprint: Akademische Verlagsgesellschaft - Volume 324 Dissertations in Artificial Intelligence - 9781586039837 at TextbooksRus.com. http://www.textbooksrus.com/search/bookdetail/default.aspx?isbn=9781586039837