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.
Pages 4-9.
- c-ijcai-99-10
- Jörg Denzinger and Dirk Fuchs:
Cooperation of Heterogeneous Provers.
Pages 10-15.
11-Sep-97 17:44