Automated Deduction ? CADE-12

Автор: Alan Bundy

Език:

Корици: С меки корици

Издател: Springer Berlin Heidelberg

Наличност: Външен склад

Изпращаме след 5-8 дни

52.62 € 102.92 лв

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

Информация за книгата

Автор

Alan Bundy

Език

Английски език

Корици

Книга - С меки корици

Издадена

1994

страници

872

EAN

9783540581567

ISBN

3540581561

Enbook ID

12608737

Издател

Springer Berlin Heidelberg

Теглоt

1293

Размери

155 x 235 x 47

Пълно описание

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.

Може също да ви хареса