Chapters | Patents | Conferences | Music |
| 3 Titles Listed for the author selected: Shadbolt, N |
Processed on 5/20/2013 |
|
Click to Select |
Title
3 Titles Listed for the author selected: Shadbolt, N |
Author
Click on author to get all References for that author |
|
1619
|
Automatic derivation of world update schemes
|
Downs, J.,; Reichgelt, Han; Shadbolt, N.
|
|
1628
|
Avoiding logical omnidoxasticity in logics of belief: A reply to MacPherson v. 2.0
|
O'Hara, K.,; Reichgelt, Han; Shadbolt, N.
|
|
1632
|
Resolution theorem proving reified modal logics
|
Reichgelt, Han,; Aitken, S.; Shadbolt, N.
|
Number Listed:
|
