Chapters  |  Patents  | Conferences  | Music  |

2 Titles Listed for the author selected: Hatzilygeroudis, I., Processed on 12/25/2014
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: