Viorica Sofronie-Stokkermans
2 published titles
Automated deduction - CADE-23 : 23rd International Conference on Automated Deduction, Wrocław, Poland, July 31 - August 5 2011: proceedings
(Contributor)
1 edition
- ISBN: 9783642224379
- Springer
- 2011
- Details
Frontiers of combining systems : 8th International Symposium, FroCoS 2011, Saarbrücken, Germany, October 5-7 2011 : proceedings
(Contributor)
1 edition
- ISBN: 9783642243639
- Springer
- 2011
- Details
