[–] twangist 3y ago ↗ Supplemental reading, with much more detail about his work (and with 'Turing' spelled properly): https://logicprogramming.org/2023/01/in-memoriam-martin-davi...
1 comment
[ 3.1 ms ] story [ 33.0 ms ] thread