DMCA

Combined reasoning by automated cooperation (2008)

by Christoph Benzmüller , Volker Sorge , Mateja Jamnik , Manfred Kerber
Venue:JOURNAL OF APPLIED LOGIC
Citations:16 - 8 self