Bjorner, Nikolaj.

概要

作品:	1 作品在 5 項出版品 1 種語言

書目資訊

Perspectives of system informatics12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2-5, 2019 : revised selected papers / by: (1998 :); Bjorner, Nikolaj.; SpringerLink (Online service); Virbitskaite, Irina.; Voronkov, Andrei. (書目-電子資源)

FM 2015formal methods : 20th International Symposium, Oslo, Norway, June 24-26, 2015 : proceedings / by: (1998 :); Bjorner, Nikolaj.; SpringerLink (Online service); de Boer, Frank. (書目-電子資源)

Distributed computing and internet technology12th International Conference, ICDCIT 2016, Bhubaneswar, India, January 15-18, 2016 : proceedings / by: (1998 :); Bjorner, Nikolaj.; Parida, Laxmi.; Prasad, Sanjiva.; SpringerLink (Online service) (書目-電子資源)

Automated deductionCADE-23 : 23rd international conference on automated deduction, Wroclaw, Poland, July 31 - August 5, 2011 : proceedings / by: (1998 :); Bjorner, Nikolaj.; Sofronie-Stokkermans, Viorica.; SpringerLink (Online service) (書目-電子資源)

Logic for programming, artificial intelligence, and reasoning18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012 : proceedings / by: (1998 :); Bjorner, Nikolaj.; SpringerLink (Online service); Voronkov, Andrei. (書目-電子資源)

主題