Alexander Herold

Institut fur Informatik I UNIVERSITAT KARLSRUHE D-7500 Karlsruhe , Postfach 6380

1 paper in the IJCAI proceedings

IJCAI 1981

The Markgraf Karl Refutation Procedure

with Karl-Hans Bläsius, Norbert Eisinger, Jörg H. Siekmann, Gert Smolka, Christoph Walther

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings