Martin Davis - sad news
Moshe Y Vardi
vardi at cs.rice.edu
Wed Jan 4 21:21:15 EST 2023
Previous message:
Martin Davis - sad news
Next message:
Obituary for Martin Davis.
Messages sorted by:
[ date ]
[ thread ]
[ subject ]
[ author ]
https://logicprogramming.org/2023/01/in-memoriam-martin-davis/
Moshe
Previous message:
Martin Davis - sad news
Next message:
Obituary for Martin Davis.
Messages sorted by:
[ date ]
[ thread ]
[ subject ]
[ author ]
More information about the FOM mailing list