Nikolaj Bjørner

Identifiers

Open LibraryOL7832548A

Top Subjects

Logic, symbolic and mathematical (1)
Software engineering (1)
Electronic data processing, distributed processing (1)

Books by Nikolaj Bjørner

Total count: 5

Automated Deduction -- CADE-2323rd International Conference on Automated Deduction, Wrocław, Poland, July 31 -- August 5, 2011, Proceedings

Springer2011-08-05
Logic for Programming, Artificial Intelligence, and Reasoning18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012, Proceedings

Springer2012-04-08
FM 2015 : Formal Methods20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings

Springer London, Limited2015-01-01
Distributed Computing and Internet Technology12th International Conference, ICDCIT 2016, Bhubaneswar, India, January 15-18, 2016, Proceedings

Springer2015-01-01
Perspectives of System Informatics12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2–5, 2019, Revised ...

Springer2019-12-14