Gilles Dowek, automated theorem proving pioneer, passed away

2 points | by dkural 20 hours ago