Desharnais, Jules.
概要
| 作品: | 1 作品在 0 項出版品 0 種語言 | |
|---|---|---|
書目資訊
Relational and Algebraic Methods in Computer Science = 17th International Conference, RAMiCS 2018, Groningen, The Netherlands, October 29 – November 1, 2018, Proceedings /
by:
Joosten, Stef.; SpringerLink (Online service); Desharnais, Jules.; Guttmann, Walter.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
主題
Mathematical logic.
Computer logic.
Artificial Intelligence.
Artificial intelligence.
Computer programming.
Numerical analysis.
Programming Techniques.
Programming languages (Electronic computers).
Programming Languages, Compilers, Interpreters.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Numeric Computing.