![](/img/cover-not-exists.png)
Issues in the Analysis of Proof-Search Strategies in Sequential Presentations of Logics
Tatjana Lutovac, James HarlandVolume:
125
Year:
2005
Language:
english
Pages:
33
DOI:
10.1016/j.entcs.2005.01.002
File:
PDF, 502 KB
english, 2005