Eisinger, Norbert

2 publications

IJCAI 1981 Subsumption and Connection Graphs Norbert Eisinger

IJCAI 1981 The Markgraf Karl Refutation Procedure Karl-Hans Bläsius, Norbert Eisinger, Jörg H. Siekmann, Gert Smolka, Alexander Herold, Christoph Walther