語系
Gallagher, John P.
概要
作品: | 1 作品在 2 項出版品 1 種語言 |
---|
書目資訊
Logic-based program synthesis and transformation = 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017 : revised selected papers /
by:
SpringerLink (Online service); Gallagher, John P.; Workshop on the Preservation of Stability under Discretization ((2001 :); Fioravanti, Fabio.
(書目-語言資料,印刷品)
Functional and Logic Programming = 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9–11, 2018, Proceedings /
by:
Gallagher, John P.; SpringerLink (Online service); Sulzmann, Martin.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Functional and logic programming = 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9-11, 2018 : proceedings /
by:
Sulzmann, Martin.; SpringerLink (Online service); Gallagher, John P.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(書目-語言資料,印刷品)
Logic-Based Program Synthesis and Transformation = 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers /
by:
SpringerLink (Online service); Gallagher, John P.; Fioravanti, Fabio.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
主題
Software Engineering.
Mathematical logic.
Computer logic.
Artificial intelligence.
Software engineering.
System Performance and Evaluation.
The Computing Profession.
Computer programming.
Computer Science.
Programming Techniques.
Logic programming
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Special purpose computers.
Computer logic
Artificial Intelligence (incl. Robotics)
Functional programming (Computer science)
Artificial Intelligence.
Special Purpose and Application-Based Systems.
Computer system failures.
Computers.
Programming languages (Electronic computers)
Programming Languages, Compilers, Interpreters.
Programming languages (Electronic computers).
Computer software