Languages
Bjorner, Nikolaj.
Overview
| Works: | 0 works in 4 publications in 1 languages | |
|---|---|---|
Titles
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)
(Electronic resources)
FM 2015 = formal methods : 20th International Symposium, Oslo, Norway, June 24-26, 2015 : proceedings /
by:
Bjorner, Nikolaj.; de Boer, Frank.; SpringerLink (Online service)
(Electronic resources)
Distributed computing and internet technology = 12th International Conference, ICDCIT 2016, Bhubaneswar, India, January 15-18, 2016 : proceedings /
by:
Bjorner, Nikolaj.; Prasad, Sanjiva.; Parida, Laxmi.; SpringerLink (Online service)
(Electronic resources)
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.; Virbitskaite, Irina.; Voronkov, Andrei.; SpringerLink (Online service)
(Electronic resources)
Subjects
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.