語系
Falaschi, Moreno.
概要
| 作品: | 1 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Logic-Based Program Synthesis and Transformation = 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers /
by:
Falaschi, Moreno.; SpringerLink (Online service)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Logic-based program synthesis and transformation = 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015 : revised selected papers /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Falaschi, Moreno.; SpringerLink (Online service)
(書目-語言資料,印刷品)
主題
Mathematical logic.
Computer logic
Artificial Intelligence (incl. Robotics)
Computer science—Mathematics.
Software Engineering/Programming and Operating Systems.
Computer logic.
Artificial Intelligence.
Artificial intelligence.
Software engineering.
Discrete Mathematics in Computer Science.
Computer Science.
Logic programming
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Computer software