Nikolaj Bjornerのリリース

iMusicに在庫あり在庫なし商品を表示

Cover for Nikolaj Bjorner · FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings - Lecture Notes in Computer Science (Paperback Book) [2015 edition] (2015)

FM 2015: Formal Methods: 20th In... (2015)

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 (Paperback Book) (2012)

Logic for Programming, Artificia... (2012)

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 (Paperback Book) (2011)

Automated Deduction -- CADE-23: ... (2011)

Nikolaj Bjorner