Goubault-Larrecq, Jean.
概要
| 作品: | 0 作品在 0 項出版品 0 種語言 | |
|---|---|---|
書目資訊
Foundations of Software Science and Computation Structures = 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings /
by:
SpringerLink (Online service); Goubault-Larrecq, Jean.; König, Barbara.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
主題
Mathematical logic.
Computer science—Mathematics.
Computer organization.
Computer logic.
Artificial intelligence.
Programming languages (Electronic computers).
Programming Languages, Compilers, Interpreters.
Computer Systems Organization and Communication Networks.
Mathematical Logic and Foundations.
Logic in AI.
Discrete Mathematics in Computer Science.
Computer programming.
Programming Techniques.