---
title: "Cooperation of Heterogeneous Provers"
authors:
  - "Jörg Denzinger"
  - "Dirk Fuchs"
doi: ""
url: "https://ijcai.org/proceedings/1999/2"
pdf: "https://ijcai.org/proceedings/1999/0002.pdf"
venue: "Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence"
year: 1999
pages: ""
track: ""
keywords:
---

# Cooperation of Heterogeneous Provers

Jörg Denzinger, Dirk Fuchs

*Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence*.

## Abstract