Nikolaj Bjørner – författare
Visar alla böcker från författaren Nikolaj Bjørner.
4 produkter
Perspectives of System Informatics
12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2–5, 2019, Revised Selected Papers
Av Nikolaj Bjørner, Irina Virbitskaite m. fl.
Häftad, 2019
729 kr
Lägg i varukorg
FM 2015: Formal Methods
20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings
Av Nikolaj Bjørner, Frank de Boer
Häftad, 2015
729 kr
Lägg i varukorg
Automated Deduction -- CADE-23
23rd International Conference on Automated Deduction, Wrocław, Poland, July 31 -- August 5, 2011, Proceedings
Av Nikolaj Bjørner, Viorica Sofronie-Stokkermans
Häftad, 2011
729 kr
Lägg i varukorg
Logic for Programming, Artificial Intelligence, and Reasoning
18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012, Proceedings
Av Nikolaj Bjørner, Andrei Voronkov
Häftad, 2012
729 kr
Lägg i varukorg