Stéphane P. Demri
2 published titles
Incomplete information : structure, inference, complexity
1 edition
- ISBN: 3540419047
- Springer
- 2002
- Details
Automated reasoning : 7th international joint conference, IJCAR 2014, held as part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 19-22, 2014 : proceedings
(Contributor)
1 edition
- ISBN: 9783319085869
- Springer
- 2014
- Details
