S. N. Artemov
2 published titles
Logical foundations of computer science : International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013 : proceedings
(Contributor)
1 edition
- ISBN: 9783642357213
- Springer
- 2013
- Details
Logical foundations of computer science : International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016, proceedings
(Contributor)
1 edition
- ISBN: 9783319276823
- Springer
- 2016
- Details
