Gilles Dowek, automated theorem proving pioneer, passed away

 (lemonde.fr)

2 points | by dkural 12 hours ago

1 comments