Automated Deduction - CADE-14

Automated Deduction - CADE-14

Author: William McCune

Publisher: Springer

ISBN: 9783540691402

Category: Computers

Page: 469

View: 565

This book constitutes the strictly refereed proceedings of the 14th International Conference on Automated Deduction, CADE-14, held in Townsville, North Queensland, Australia, in July 1997. The volume presents 25 revised full papers selected from a total of 87 submissions; also included are 17 system descriptions and two invited contributions. The papers cover a wide range of current issues in the area including resolution, term rewriting, unification theory, induction, high-order logics, nonstandard logics, AI methods, and applications to software verification, geometry, and social science.

Automated Deduction - CADE-14
Language: en
Pages: 469
Authors: William McCune
Categories: Computers
Type: BOOK - Published: 2006-04-11 - Publisher: Springer

This book constitutes the strictly refereed proceedings of the 14th International Conference on Automated Deduction, CADE-14, held in Townsville, North Queensland, Australia, in July 1997. The volume presents 25 revised full papers selected from a total of 87 submissions; also included are 17 system descriptions and two invited contributions. The
Automated Deduction - Cade-14
Language: en
Pages: 484
Authors: William McCune
Categories: Computers
Type: BOOK - Published: 2014-01-15 - Publisher:

Books about Automated Deduction - Cade-14
Automated Deduction -- CADE-24
Language: en
Pages: 466
Authors: Maria Paola Bonacina
Categories: Computers
Type: BOOK - Published: 2013-06-04 - Publisher: Springer

This book constitutes the proceedings of the 24th International Conference on Automated Deduction, CADE-24, held in Lake Placid, NY, USA, in June 2013. The 31 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 71 initial submissions. CADE is the major forum for the
Automated Deduction - CADE-16
Language: en
Pages: 438
Authors: Harald Ganzinger
Categories: Computers
Type: BOOK - Published: 1999-06-23 - Publisher: Springer Science & Business Media

This book constitutes the refereed proceedings of the 16th International Conference on Automated Deduction, CADE-16, held in Trento, Italy in July 1999 as part of FLoC'99. The 21 revised full papers presented were carefully reviewed and selected from a total of 83 submissions. Also included are 15 system descriptions and
Automated Deduction - CADE-18
Language: en
Pages: 540
Authors: Andrei Voronkov
Categories: Computers
Type: BOOK - Published: 2002-07-17 - Publisher: Springer Science & Business Media

The First CADE in the Third Millennium This volume contains the papers presented at the Eighteenth International C- ference on Automated Deduction (CADE-18) held on July 27–30th, 2002, at the University of Copenhagen as part of the Federated Logic Conference (FLoC 2002). Despite a large number of deduction-related conferences springing