言語
Bjorner, Nikolaj.
概観
| 著作: | 1 作品に 3 出版物中に 1 言語 | |
|---|---|---|
タイトル
FM 2015[electronic resource] :formal methods : 20th International Symposium, Oslo, Norway, June 24-26, 2015 : proceedings /
…で:
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 /
…で:
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 /
…で:
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.