![](/img/cover-not-exists.png)
Limited resource strategy in resolution theorem proving
Alexandre Riazanov, Andrei VoronkovVolume:
36
Year:
2003
Language:
english
Pages:
15
DOI:
10.1016/s0747-7171(03)00040-3
File:
PDF, 245 KB
english, 2003