ENGLISH

Automated deduction--CADE 16: 16th International; Conference on Automated Deduction, Trento, Italy, July 7-10, 1999 : proceedings

By Harald Ganzinger

Book information

Publisher
Springer
Year
1999
ISBN
3540662227, 9783540662228
Google Books ID
yvUfjDyxxJIC
Language
english
Format
PDF
Filesize
4 MB (3768145 bytes)
Series
Lecture Notes in Computer Science - Lecture Notes Artificial Intelligence 1632
Pages
442\442
Orientation
no
Scanned
no
Time added
2012-02-04 16:00:00

Description

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 two invited full papers. The book addresses all current issues in automated deduction and theorem proving, ranging from logical foundations to deduction systems design and evaluation

Similar books