Chapters  |  Patents  | Conferences  | Music  |

2 Titles Listed for the author selected: Reichgelt, Han, Processed on 11/24/2014
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: