Combined reasoning by automated cooperation (2008)

Cached

Download Links

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