Combined reasoning by automated cooperation

C Benzmuller, Volker Sorge, M Jamnik, Manfred Kerber

Research output: Contribution to journal › Article

14 Citations (Scopus)

Access to Document

@article{ded459890c6541619e45778a9f6f21ec,

title = "Combined reasoning by automated cooperation",

author = "C Benzmuller and Volker Sorge and M Jamnik and Manfred Kerber",

year = "2008",

month = sep,

day = "1",

doi = "10.1016/j.jal.2007.06.003",

language = "English",

volume = "6",

pages = "318--342",

journal = "Journal of Applied Logic",

publisher = "Elsevier",

number = "3",

}