Authors Search About

Gelperin, David

1 publications

IJCAI 1973 Deletion-Directed Search in Resolution-Based Proof Procedures David Gelperin

ML Anthology — Open source under Apache 2.0. GitHub. Privacy Policy