Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Austrian Post 5.49 € GLS courier 4.99 € DPD courier 4.49 € DPD point 3.49 €

Contact

How to shop

Help

My account

▸ Empty :-(

Automated Deduction ? CADE-12

Alan Bundy

Language

English

Book Paperback

Libristo code: 12608737

Publishers Springer Berlin Heidelberg, June 1994

This volume contains the reviewed papers presented at the 12th International Conference on Automated... Full description

Libristo code: 12608737

125 b

51.09 € VAT included

In stock at our supplier Shipping in 5-8 days

Delivery to Austria

Up to 30 days for returns

Customers also purchased

Aslan Kral Degildir; Kral Olan Aslanlardir sükrullah Dolu

Paperback

11.59 €

La Peste Ecarlate LONDON-J

Paperback

17.89 €

Hecho En Saturno Rita Indiana

Paperback

12.69 €

TRIZ i ARIZ Pawel Astaf'ew

Paperback

31.69 €

Száguldó szerelem Carly Robyn

Hardback

8.59 €

This volume contains the reviewed papers presented at the 12th International Conference on Automated Deduction (CADE-12) held at Nancy, France in June/July 1994. The 67 papers presented were selected from 177 submissions and document many of the most important research results in automated deduction since CADE-11 was held in June 1992. The volume is organized in chapters on heuristics, resolution systems, induction, controlling resolutions, ATP problems, unification, LP applications, special-purpose provers, rewrite rule termination, ATP efficiency, AC unification, higher-order theorem proving, natural systems, problem sets, and system descriptions.