![](/img/cover-not-exists.png)
Empirically Successful Automated Reasoning: Systems Issue
Bernd Fischer, Geoff Sutcliffe, Stephan SchulzVolume:
36
Language:
english
Pages:
1
DOI:
10.1007/s10817-006-9059-5
Date:
April, 2006
File:
PDF, 113 KB
english, 2006