Smolka, Gert

2 publications

IJCAI 1993 Oz - A Programming Language for Multi-Agent Systems Martin Henz, Gert Smolka, Jörg Würtz

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