語系
Bjorner, Nikolaj.
概要
| 作品: | 0 作品在 4 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Logic for programming, artificial intelligence, and reasoning = 18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012 : proceedings /
by:
Bjorner, Nikolaj.; Voronkov, Andrei.; SpringerLink (Online service)
(書目-電子資源)
FM 2015 = formal methods : 20th International Symposium, Oslo, Norway, June 24-26, 2015 : proceedings /
by:
Bjorner, Nikolaj.; de Boer, Frank.; SpringerLink (Online service)
(書目-電子資源)
Distributed computing and internet technology = 12th International Conference, ICDCIT 2016, Bhubaneswar, India, January 15-18, 2016 : proceedings /
by:
Bjorner, Nikolaj.; SpringerLink (Online service); Prasad, Sanjiva.; Parida, Laxmi.
(書目-電子資源)
Perspectives of system informatics = 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2-5, 2019 : revised selected papers /
by:
International Andrei Ershov Memorial Conference (2019 :); Bjorner, Nikolaj.; Voronkov, Andrei.; SpringerLink (Online service); Virbitskaite, Irina.
(書目-電子資源)
主題
Artificial intelligence
Software engineering
Software Engineering.
Mathematical Logic and Formal Languages.
Logic Computer programming
Logics and Meanings of Programs.
Systems engineering
Logic in AI.
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.
Computer programming
Special Purpose and Application-Based Systems.
Internet
Electronic data processing- Distributed processing
Computer science
Computer Science.
Computer networks
Computer Communication Networks.
Systems and Data Security.