Mesnard, Fred.
Overview
| Works: | 0 works in 0 publications in 0 languages | |
|---|---|---|
Titles
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)
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Subjects
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.