Gabbrielli, Maurizio.
概要
| 作品: | 1 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Logic-Based Program Synthesis and Transformation = 29th International Symposium, LOPSTR 2019, Porto, Portugal, October 8–10, 2019, Revised Selected Papers /
by:
SpringerLink (Online service); Gabbrielli, Maurizio.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Logic Programming : = 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings
by:
Gabbrielli, Maurizio.; Workshop on the Preservation of Stability under Discretization ((2001 :); Gupta, Gopal.; SpringerLink (Online service)
(書目-語言資料,印刷品)
Programming languages = principles and paradigms /
by:
Gabbrielli, Maurizio.; Martini, Simone.; SpringerLink (Online service)
(書目-語言資料,印刷品)
主題
Computer organization.
Computer logic.
Artificial Intelligence.
Artificial intelligence.
Computer Applications.
Simulation and Modeling.
Theory of Computation.
Programming languages (Electronic computers)
Computer Science.
Programming Techniques.
Programming Languages, Compilers, Interpreters.
Computer Systems Organization and Communication Networks.
Compilers and Interpreters.
Logic programming
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Computer simulation.
Artificial Intelligence (incl. Robotics)
Application software.