Proceedings

Rolf Socher-Ambrosius

1 paper in the IJCAI proceedings

IJCAI 1989

Reducing the Derivation of Redundant Clauses in Reasoning Systems
Details PDF
Welcome Future Conferences AI Journal Division IJCAI Proceedings About IJCAI IJCAI Awards