Gilles Dowek, automated theorem proving pioneer, passed away

2 points

by dkural

12 hours ago

1 comments