Chapters  |  Patents  | Conferences  | Music  |

2 Titles Listed for the author selected: Hatzilygeroudis, I., Processed on 5/25/2013
Click to Select Title
 2 Titles Listed for the author selected: Hatzilygeroudis, I.,		 Author
Click on author to get all References for that author
1630 ACT-P: A configurable theorem prover Hatzilygeroudis, I.,; Reichgelt, Han
1627 The inheritance mechanism of a system integrating logic in objects Hatzilygeroudis, I.,; Reichgelt, Han

Number Listed: