Combined reasoning by automated cooperation

C Benzmuller, Volker Sorge, M Jamnik, Manfred Kerber

Research output: Contribution to journalArticle

14 Citations (Scopus)
Original languageEnglish
Pages (from-to)318-342
Number of pages25
JournalJournal of Applied Logic
Volume6
Issue number3
DOIs
Publication statusPublished - 1 Sep 2008

Cite this