Autor: David McAllester

For the past 25 years the CADE conference has been the major forum for the presentation of new results in automated deduction. This volume contains the papers and system descriptions selected for the …

This volume contains the papers presented at the Sixth International Conference on Logic for Programming and Automated Reasoning (LPAR’99), held in Tbilisi, Georgia, September 6-10, 1999, and hosted …