Languages
Bjorner, Nikolaj.
Overview
| Works: | 1 works in 3 publications in 1 languages | |
|---|---|---|
Titles
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)
(Language materials, printed)
, [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 :)
(Language materials, printed)
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.
(Language materials, printed)
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 :)
(Language materials, printed)
Subjects
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.