👤

William F. Clocksin

b. 1955 ยท 2 books

Books by William F. Clocksin

Clause and effect
Clause and effect
1997
Logic programming and the spec
Logic programming and the specification of circuits
1984