 |
Book Search |
 |
News & Info |
|
TOP 10 BOOKS |
|
Samarendra Das £16.95 |
 |
|
Tom Leonard £9.00 |
|
|
Noam Chomsky £6.74 |
|
|
Richard Gott £18.75 |
|
|
Andy Wightman £7.49 |
|
|
Scottish Novels of the Second World War Isobel Murray £12.99 |
|
|
James Kelman £7.19 |
|
|
David Miller £24.99 |
|
|
Tom Leonard £11.99 |
|
|
Janice Galloway £11.04 |
|
10th International Conference on Automated Deduction
Kaiserslautern, Frg, July 24-27, 1990, Proceedings
You are here: Computing & Internet > Applications Of Computing > Artificial Intelligence
|
10th International Conference on Automated Deduction
Paperback ISBN: 9783540528852
Availability:
Our Price: £62.99RRP £62.99
, Save £0.00
0 customer(s) reviewed this product
 
|
- Description
- Reviews
- Book Details
CADE is the major forum for research on all aspects of automated deduction. This title constitutes the proceedings of CADE-10.
The proceedings of the 5th, 6th, 7th, 8th and 9th CADE conferences are published as Volumes 87, 138, 170, 230, 310 in the series Lecture Notes in Computer Science.
| ISBN | 3540528857 |
| ISBN13 | 9783540528852 |
| Publisher | Springer-Verlag Berlin and Heidelberg GmbH & Co. K |
| Format | Paperback |
| Publication date | 17/07/1990 |
| Pages | 704 |
| Weight (grammes) | 976 |
| Published in | Germany |
| Height (mm) | 234 |
| Width (mm) | 156 |
|
Your Basket |
0 items.
Total £0.00
|
NEWSLETTER |
SIGN UP NOW! |
 |
|
Events |
|
Our Publications |
|
Platform |
