Bolotov, Alexander and Basukoski, Artie (2006) A clausal resolution method for branching-time logic ECTL+. Annals of Mathematics and Artificial Intelligence, 46 (3). pp. 235-263. ISSN 1012-2443
Full text not available from this repository.
Official URL: http://dx.doi.org/10.1007/s10472-006-9018-1
| Item Type: | Article |
|---|---|
| Additional Information: | Online ISSN 1573-7470 |
| Research Community: | University of Westminster > Electronics and Computer Science, School of |
| ID Code: | 1452 |
| Deposited On: | 04 May 2006 |
| Last Modified: | 14 Oct 2009 10:17 |
Repository Staff Only: item control page
