List of contents of the Proceedings of the

16'th International Joint Conference on Artificial Intelligence, 1999 (IJCAI-99)

Edited by Luigia Aiello

Published by Morgan Kaufmann Publishers, Inc.

c-ijcai-99-4

Marc Fuchs:
Lemma Generation for Model Elimination by Combining Top-Down and Bottom-Up Inference.
Proceedings of the 16'th International Joint Conference on Artificial Intelligence, 1999 (NIL-99), pages 4-9.

c-ijcai-99-10

Jörg Denzinger, Dirk Fuchs:
Cooperation of Heterogeneous Provers.
Proceedings of the 16'th International Joint Conference on Artificial Intelligence, 1999 (NIL-99), pages 10-15.

3-Sep-97 18:28