Bjørner, Nikolaj.
概要
| 作品: | 0 作品在 0 項出版品 0 種語言 | |
|---|---|---|
書目資訊
FM 2015: Formal Methods = 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings /
by:
de Boer, Frank.; SpringerLink (Online service); Bjørner, Nikolaj.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Perspectives of System Informatics = 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2–5, 2019, Revised Selected Papers /
by:
Voronkov, Andrei.; Bjørner, Nikolaj.; Virbitskaite, Irina.; SpringerLink (Online service)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
主題
Mathematical logic.
Software Engineering.
Computer logic.
Artificial intelligence.
Special Purpose and Application-Based Systems.
Computer Communication Networks.
Software engineering.
Computer science.
Management information systems.
Logic in AI.
Computers.
Computer programming.
Programming Techniques.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Computation by Abstract Devices.
Special purpose computers.
Management of Computing and Information Systems.
Computer communication systems.