Search Results: "Dedukti"

Gilles Dowek, Pioneer of Automated Proof Systems and Computational Logic, Dies at 58

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