Bolotov, Alexander and Grigoriev, Oleg and Shangin, Vasilyi (2008) Automating natural deduction for temporal logic. In: Glymour, Clark and Wang, Wei and Westerstahl, Dag, (eds.) Proceedings of the 13th International Congress of Logic Methodology and Philosophy of Science. Kings College Publications.
Full text not available from this repository.
Official URL: http://www.doc.ic.ac.uk/crg/events/ARW07/submissio...
| Item Type: | Book Section |
|---|---|
| Uncontrolled Keywords: | Automated deduction, temporal logic, natural deduction, proof search |
| Research Community: | University of Westminster > Electronics and Computer Science, School of |
| ID Code: | 5679 |
| Deposited On: | 22 Jan 2009 16:46 |
| Last Modified: | 14 Oct 2009 10:14 |
Repository Staff Only: item control page
