語系
Gallagher, John P.
概要
| 作品: | 1 作品在 3 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Functional and logic programming = 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9-11, 2018 : proceedings /
by:
Fuji International Symposium on Functional and Logic Programming (2018 :); Gallagher, John P.; Sulzmann, Martin.; SpringerLink (Online service)
(書目-電子資源)
Logic-based program synthesis and transformation = 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017 : revised selected papers /
by:
LOPSTR (Symposium) (2017 :); Fioravanti, Fabio.; Gallagher, John P.; SpringerLink (Online service)
(書目-電子資源)
Analysis, verification and transformation for declarative programming and intelligent systems = essays dedicated to Manuel Hermenegildo on the occasion of his 60th birthday /
by:
Lopez-Garcia, Pedro.; Gallagher, John P.; Giacobazzi, Roberto.; SpringerLink (Online service); Hermenegildo, Manuel.
(書目-電子資源)
主題
Software Engineering.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Logic programming
Programming Techniques.
Artificial Intelligence (incl. Robotics)
Software engineering.
Programming languages (Electronic computers)
Programming Languages, Compilers, Interpreters.
Special Purpose and Application-Based Systems.
Computer logic
Computer Science Logic and Foundations of Programming.
Functional programming (Computer science)
The Computing Profession.
Declarative programming.
Computer Science.
System Performance and Evaluation.
Computer software- Development
Computer science.
Computer programming.