Kanger's Choices in Automated Reasoning
| Data(s) |
2001
|
|---|---|
| Resumo |
This article explains these choices and their place in modern automated deduction. |
| Formato |
application/postscript |
| Identificador |
http://calcium.dcs.kcl.ac.uk/893/1/kangers_choices.ps Degtyarev, Anatoli and Voronkov, Andrei (2001) Kanger's Choices in Automated Reasoning. In: Collected Papers of Stig Kanger with Essays on his Life and Work. KLUWER ACADEMIC PUBLISHERS GROUP, pp. 53-68. ISBN 1-4020-0111-8 |
| Publicador |
KLUWER ACADEMIC PUBLISHERS GROUP |
| Relação |
http://calcium.dcs.kcl.ac.uk/893/ |
| Tipo |
Book Section PeerReviewed |
