ML Anthology
Authors
Search
About
Shensa, M. J.
1 publications
IJCAI
1989
A Computational Structure for the Propositional Calculus
M. J. Shensa