Proceedings

Manfred Schmidt-Schauß

1 paper in the IJCAI proceedings

IJCAI 1985

A Many-Sorted Calculus with Polymorphic Functions Based on Resolution and Paramodulation
Details PDF
Welcome Future Conferences AI Journal Division IJCAI Proceedings About IJCAI IJCAI Awards