语系
Bjorner, Nikolaj.
概要
| 作品: | 1 作品在 3 项出版品 1 种语言 | |
|---|---|---|
书目信息
FM 2015[electronic resource] :formal methods : 20th International Symposium, Oslo, Norway, June 24-26, 2015 : proceedings /
by:
Bjorner, Nikolaj.; Clark Conference ((2005 :); SpringerLink (Online service); de Boer, Frank.
(书目-电子资源)
Logic for programming, artificial intelligence, and reasoning[electronic resource] :18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012 : proceedings /
by:
Bjorner, Nikolaj.; Clark Conference ((2005 :); SpringerLink (Online service); Voronkov, Andrei.
(书目-语言数据,印刷品)
Distributed computing and internet technology[electronic resource] :12th International Conference, ICDCIT 2016, Bhubaneswar, India, January 15-18, 2016 : proceedings /
by:
Bjorner, Nikolaj.; Clark Conference ((2005 :); Parida, Laxmi.; Prasad, Sanjiva.; SpringerLink (Online service)
(书目-语言数据,印刷品)
主题
Artificial intelligence
Software engineering
Software Engineering.
Mathematical Logic and Formal Languages.
Logic Computer programming
Logics and Meanings of Programs.
Electronic data processing
Artificial Intelligence (incl. Robotics)
Programming Techniques.
Management of Computing and Information Systems.
Computation by Abstract Devices.
Algorithm Analysis and Problem Complexity.
Information Systems Applications (incl. Internet)
Database Management.
Computer logic
Programming Languages, Compilers, Interpreters.
Formal methods (Computer science)
Information Storage and Retrieval.
Internet
Computer Science.
Computer networks
Computer Communication Networks.
Systems and Data Security.