語系
Bjorner, Nikolaj.
概要
| 作品: | 1 作品在 3 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Distributed Computing and Internet Technology = 12th International Conference, ICDCIT 2016, Bhubaneswar, India, January 15-18, 2016, Proceedings /
by:
Parida, Laxmi.; Prasad, Sanjiva.; Bjorner, Nikolaj.; SpringerLink (Online service)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Logic for programming, artificial intelligence, and reasoning = 18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012 : proceedings /
by:
Voronkov, Andrei.; SpringerLink (Online service); Bjorner, Nikolaj.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(書目-語言資料,印刷品)
Distributed computing and internet technology = 12th International Conference, ICDCIT 2016, Bhubaneswar, India, January 15-18, 2016 : proceedings /
by:
SpringerLink (Online service); Bjorner, Nikolaj.; Workshop on the Preservation of Stability under Discretization ((2001 :); Prasad, Sanjiva.; Parida, Laxmi.
(書目-語言資料,印刷品)
Automated deduction = CADE-23 : 23rd international conference on automated deduction, Wroclaw, Poland, July 31 - August 5, 2011 : proceedings /
by:
Sofronie-Stokkermans, Viorica.; SpringerLink (Online service); Bjorner, Nikolaj.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(書目-語言資料,印刷品)
主題
Software Engineering.
Logic Computer programming
Systems and Data Security.
Algorithm Analysis and Problem Complexity.
Automatic theorem proving
Computer Communication Networks.
Computer networks
Information Systems Applications (incl. Internet).
Computer Science.
Programming Techniques.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Information Systems Applications (incl. Internet)
Algorithms.
Database Management.
Computer communication systems.
Artificial Intelligence (incl. Robotics)
Computer logic
Artificial intelligence
Application software.
Internet
Information storage and retrieval.
Database management.
Electronic data processing
Logic, Symbolic and mathematical
Information Storage and Retrieval.
Software engineering
Programming Languages, Compilers, Interpreters.
Computer security.