Automated Deduction - CADE-15
Abstract
This volume is the proceedings of the 14th International Conference on Automated Deduction, held in Lindau, Germany, in July 1998.
INRIA.HAL.SCIENCE Web Portal Publications, softwares... of Inria fellow Academics |
Publications Loria : Connect in order to contact the contributor
https://inria.hal.science/inria-00098417
Submitted on : Monday, September 25, 2006-5:01:10 PM
Last modification on : Friday, March 24, 2023-2:52:48 PM