Releases von Nikolaj Bjorner

Cover for Nikolaj Bjorner · FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings - Lecture Notes in Computer Science (Taschenbuch) [2015 edition] (2015)
Taschenbuch
2015 edition
FM 2015: Formal Methods: 20th In...
Nikolaj Bjorner
Cover for Nikolaj Bjorner · Logic for Programming, Artificial Intelligence, and Reasoning: 18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012, Proceedings - Theoretical Computer Science and General Issues (Taschenbuch) (2012)
Taschenbuch
Logic for Programming, Artificia...
Nikolaj Bjorner
Cover for Nikolaj Bjorner · Automated Deduction -- CADE-23: 23rd International Conference on Automated Deduction, Wroclaw, Poland, July 31 -- August 5, 2011, Proceedings - Lecture Notes in Computer Science (Taschenbuch) (2011)
Taschenbuch
2011 edition
Automated Deduction -- CADE-23: ...
Nikolaj Bjorner