|
СБ |
Computer Science - Theory and Applications: Proc./10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 2015 |
2015 |
|
Lecture Notes in Computer Science |
- Beklemishev L. D.
- Musatov D. V.
|
|
|
25.08.2015 |
|
СБ |
Fields of Logic and Computation II: Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday |
2015 |
|
Lecture Notes in Computer Science |
- Beklemishev L. D.
- Blass A.
- Dershowitz N.
- Finkbeiner B.
|
|
|
20.10.2015 |
|
СБ |
Logic, Language, Information and Computation: Proc./18th International Workshop, WoLLIC 2011, Philadelphia,PA,USA, May 2011 |
2011 |
|
Lecture Notes in Artificial Intelligence |
- Beklemishev L. D.
- de Queiroz R.
|
|
|
06.07.2011 |
