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.
Theory of Computation.
Computer Science.
Programming Techniques.
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.
Artificial Intelligence.
Computer Applications.
Simulation and Modeling.
Programming languages (Electronic computers)
Programming Languages, Compilers, Interpreters.