Showing 1 - 5 results of 5 for search 'Bjorner, Nikolaj', query time: 0.02s Narrow Search
  1. 1
    Logic for Programming, Artificial Intelligence, and Reasoning 18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012, Proceedings
    Published 2012
    Other Authors: “…Bjørner, Nikolaj…”
    Click to view e-book
    eBook
    Save to List
    Saved in:
  2. 2
    Automated Deduction -- CADE-23 23rd International Conference on Automated Deduction, Wrocław, Poland, July 31 -- August 5, 2011, Proceedings
    Published 2011
    Other Authors: “…Bjørner, Nikolaj…”
    Click to view e-book
    eBook
    Save to List
    Saved in:
  3. 3
    FM 2015: Formal Methods 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings
    Published 2015
    Other Authors: “…Bjørner, Nikolaj…”
    Click to view e-book
    eBook
    Save to List
    Saved in:
  4. 4
    Distributed Computing and Internet Technology 12th International Conference, ICDCIT 2016, Bhubaneswar, India, January 15-18, 2016, Proceedings
    Published 2016
    Other Authors: “…Bjorner, Nikolaj…”
    Click to view e-book
    eBook
    Save to List
    Saved in:
  5. 5
    Perspectives of System Informatics 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2–5, 2019, Revised Selected Papers
    Published 2019
    Other Authors: “…Bjørner, Nikolaj…”
    Click to view e-book
    eBook
    Save to List
    Saved in:

Search Tools: