ProofWiki:Mathematicians/Writers/William F. Clocksin
From ProofWiki
< ProofWiki:Mathematicians | Writers(Redirected from ProofWiki:Mathematicians/William F. Clocksin)
Author of:
- 1981: Programming in Prolog (with Christopher S. Mellish)