ML Anthology
Authors
Search
About
Nonnengart, Andreas
1 publications
IJCAI
1993
First-Order Modal Logic Theorem Proving and Functional Simulation
Andreas Nonnengart