Tarver, Mark

1 publications

IJCAI 1993 A Language for Implementing Arbitrary Logics Mark Tarver