ML Anthology
Authors
Search
About
Tarver, Mark
1 publications
IJCAI
1993
A Language for Implementing Arbitrary Logics
Mark Tarver