Original language | English |
---|---|
Pages (from-to) | 318-342 |
Number of pages | 25 |
Journal | Journal of Applied Logic |
Volume | 6 |
Issue number | 3 |
DOIs | |
Publication status | Published - 1 Sept 2008 |
Combined reasoning by automated cooperation
C Benzmuller, Volker Sorge, M Jamnik, Manfred Kerber
Research output: Contribution to journal › Article
14
Citations
(Scopus)