語系
King, Andy.
概要
| 作品: | 1 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Functional and Logic Programming = 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings /
by:
Kiselyov, Oleg.; King, Andy.; SpringerLink (Online service)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
Logic-based program synthesis and transformation = 17th international symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007 : revised selected papers /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); King, Andy.; SpringerLink (Online service)
(書目-語言資料,印刷品)
Functional and logic programming = 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016 : proceedings /
by:
Workshop on the Preservation of Stability under Discretization ((2001 :); Kiselyov, Oleg.; King, Andy.; SpringerLink (Online service)
(書目-語言資料,印刷品)
主題
Software Engineering.
Mathematical logic.
Computer logic.
Artificial intelligence.
Software engineering.
Computer Science.
Programming Techniques.
Computer programming.
Logic programming
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Artificial Intelligence (incl. Robotics)
Functional programming (Computer science)
Artificial Intelligence.
Programming Languages, Compilers, Interpreters.
Programming languages (Electronic computers).