Chapters  |  Patents  | Conferences  | Music  |

3 Titles Listed for the author selected: Shadbolt, N Processed on 10/31/2014
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: