![](/img/cover-not-exists.png)
Review of proofs and algorithms by Gilles Dowek (translation by Maribel Fernandez)
Cadilhac, MichaëlVolume:
44
Language:
english
Journal:
ACM SIGACT News
DOI:
10.1145/2556663.2556670
Date:
December, 2013
File:
PDF, 125 KB
english, 2013