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
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.