|
СБ |
Automated Deduction - CADE-23: Proc./23rd International Conference on AD, Wroclaw, Poland, July/August 2011 |
2011 |
|
Lecture Notes in Artificial Intelligence |
- Bjorner N.
- Sofronie-Stokkermans V.
|
|
|
27.09.2011 |
|
СБ |
Logic and Programming, Artificial Intelligence, and Reasoning: Proc./18th International Conference, LPAR-18, Merida, Venezuela, March 2012 |
2012 |
|
Lecture Notes in Computer Science |
- Bjorner N.
- Voronkov A.
|
|
|
03.04.2012 |
|
СБ |
FM 2015: Formal Methods: Proc./20th International Symposium, Oslo, Norway, June 2015 |
2015 |
|
Lecture Notes in Computer Science |
- Bjorner N.
- de Boer F.
|
|
|
22.07.2015 |
|
СБ |
Distributed Computing and Internet Technology: Proc./12th International Conference, ICDCIT 2016, Bhubaneswar, India, January 2016 |
2016 |
|
Lecture Notes in Computer Science |
- Bjorner N.
- Prasad S.
- Parida L.
|
|
|
29.04.2016 |
|
СБ |
12th A.P.Ershov Informatics Conference PSI 19 : Preliminary Proc./ Akademgorodok, Novosibirsk, Russia, July 2019 |
2019 |
|
PSI Conference Series |
- Bjorner N.
- Virbitskaite I. B.
- Voronkov A.
|
|
|
31.07.2019 |
|
СБ |
Perspectives of System Informatics: Revised Selected Papers/12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk Russia, July 2019 |
2019 |
|
Lecture Notes in Computer Science |
- Bjorner N.
- Virbitskaite I.
- Voronkov A.
|
|
|
28.01.2020 |
