Mesnard, Fred.
概要
| 作品: | 0 作品在 0 項出版品 0 種語言 | |
|---|---|---|
書目資訊
Logic-Based Program Synthesis and Transformation = 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers /
by:
Stuckey, Peter J.; Mesnard, Fred.; SpringerLink (Online service)
(書目-語言資料,印刷品)
, [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.
Programming Languages, Compilers, Interpreters.
Programming languages (Electronic computers).
Programming Techniques.
Software engineering.
Software Engineering.