Authors Search About

Schmidt-Schauß, Manfred

1 publications

IJCAI 1985 A Many-Sorted Calculus with Polymorphic Functions Based on Resolution and Paramodulation Manfred Schmidt-Schauß

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