Chapters  |  Patents  | Conferences  | Music  |

2 Titles Listed for the author selected: Reichgelt, Han, Processed on 5/19/2013
Click to Select Title
 2 Titles Listed for the author selected: Reichgelt, Han,		 Author
Click on author to get all References for that author
1622 Modelling multiple uses of the same representation in SOAR Reichgelt, Han,; Bibby, P.
1632 Resolution theorem proving reified modal logics Reichgelt, Han,; Aitken, S.; Shadbolt, N.

Number Listed: