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