Gabbrielli, Maurizio.
Overview
| Works: | 1 works in 1 publications in 1 languages | |
|---|---|---|
Titles
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.
(Language materials, printed)
, [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)
(Language materials, printed)
Programming languages = principles and paradigms /
by:
Gabbrielli, Maurizio.; Martini, Simone.; SpringerLink (Online service)
(Language materials, printed)
Subjects
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.