×


 x 

Shopping cart
R.E. . Ed(S): Shostak - 7th International Conference on Automated Deduction - 9780387960227 - V9780387960227
Stock image for illustration purposes only - book cover, edition or condition may vary.

7th International Conference on Automated Deduction

€ 135.27
FREE Delivery in Ireland
Description for 7th International Conference on Automated Deduction paperback. Editor(s): Shostak, R.E. Series: Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence. Num Pages: 517 pages, biography. BIC Classification: UYQE. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 26. Weight in Grams: 1590.
The Seventh International Conference on Automated Deduction was held May 14-16, 19S4, in Napa, California. The conference is the primary forum for reporting research in all aspects of automated deduction, including the design, implementation, and applications of theorem-proving systems, knowledge representation and retrieval, program verification, logic programming, formal specification, program synthesis, and related areas. The presented papers include 27 selected by the program committee, an invited keynote address by Jorg Siekmann, and an invited banquet address by Patrick Suppes. Contributions were presented by authors from Canada, France, Spain, the United Kingdom , the United States, and West Germany. The first ... Read more

Product Details

Format
Paperback
Publication date
1984
Publisher
Springer-Verlag New York Inc. United States
Number of pages
517
Condition
New
Series
Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence
Number of Pages
512
Place of Publication
New York, NY, United States
ISBN
9780387960227
SKU
V9780387960227
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15

Reviews for 7th International Conference on Automated Deduction

Goodreads reviews for 7th International Conference on Automated Deduction


Subscribe to our newsletter

News on special offers, signed editions & more!