Nonnengart, Andreas

1 publications

IJCAI 1993 First-Order Modal Logic Theorem Proving and Functional Simulation Andreas Nonnengart