ML Anthology

Binas, Arnold

1 publications

AAAI 2004 Semantically Guiding a First-Order Theorem Prover with a Soft Model Arnold Binas, John K. Slaney