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]
主題
Artificial intelligence.
Artificial Intelligence.
Computer logic.
Computer programming.
Logics and Meanings of Programs.
Mathematical logic.
Mathematical Logic and Formal Languages.
Numerical analysis.
Numeric Computing.
Programming Languages, Compilers, Interpreters.
Programming languages (Electronic computers).
Programming Techniques.