Showing 1 - 5 results of 5 for search 'Bjørner, Nikolaj', query time: 0.02s Refine Results
  1. 1
    Logic for Programming, Artificial Intelligence, and Reasoning 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings /
    Published 2012
    Other Authors: “…Bjørner, Nikolaj…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 2
    FM 2015: Formal Methods 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings /
    Published 2015
    Other Authors: “…Bjørner, Nikolaj…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 3
    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…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 4
    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…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 5
    Distributed Computing and Internet Technology 12th International Conference, ICDCIT 2016, Bhubaneswar, India, January 15-18, 2016, Proceedings /
    Published 2016
    Other Authors: “…Bjørner, Nikolaj…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search