Home / Authors / Bjørner, Nikolaj

Books by Bjørner, Nikolaj

All books by this author

1 book found ← Back to Search
Automated Deduction -- CADE-23: 23rd International Conference on Automated Deduction, Wrocław, Poland, July 31 -- August 5, 2011, Proceedings (Lecture Notes in Computer Science, 6803)
🇺🇸 United States
Automated Deduction -- CADE-23: 23rd International Conferen…
By: Bjørner, Nikolaj
View Details