Isbn: 9783540581567 - automated deduction ― cade-12: 12th international conference on automated deduction nancy, france, june 26–july 1, 1994 proceedings (lecture notes in computer science, 814, band 814) (4 Ergebnisse)

Zustand: New. In English.

Paperback. Zustand: Brand New. 1994 edition. 864 pages. 9.25x6.10x1.73 inches. In Stock.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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.…

Taschenbuch. Zustand: Neu. Automated Deduction - CADE-12 | 12th International Conference on Automated Deduction Nancy, France, June 26-July 1, 1994 Proceedings | Alan Bundy | Taschenbuch | Einband - flex.(Paperback) | Englisch | 1994 | Springer | EAN 9783540581567 | Verantwortliche Person für die EU: Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, productsafety[at]springernature[dot]com | Anbieter: preigu.…