Found 1 articles
Gilles Dowek, Pioneer of Automated Proof Systems and Computational Logic, Dies at 58 Gilles Dowek, the visionary Frenc...