Gilles Dowek, automated theorem proving pioneer, passed away

 (lemonde.fr)

2 points | by dkural 1 day ago

1 comments