Gilles Dowek, automated theorem proving pioneer, passed away

 (lemonde.fr)

2 points | by dkural 13 hours ago ago

1 comments