![](/img/cover-not-exists.png)
Cooperation of Background Reasoners in Theory Reasoning by Residue Sharing
Cesare TinelliVolume:
30
Language:
english
Pages:
31
DOI:
10.1023/a:1022587501759
Date:
January, 2003
File:
PDF, 220 KB
english, 2003