Chapters | Patents | Conferences | Music |
| 1 Titles Listed for the author selected: Aitken, S |
Processed on 5/25/2013 |
|
Click to Select |
Title
1 Titles Listed for the author selected: Aitken, S |
Author
Click on author to get all References for that author |
|
1632
|
Resolution theorem proving reified modal logics
|
Reichgelt, Han,; Aitken, S.; Shadbolt, N.
|
Number Listed:
|
