語系
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.
Artificial Intelligence (incl. Robotics)
Functional programming (Computer science)
Computer logic.
Artificial Intelligence.
Artificial intelligence.
Software engineering.
Computer Science.
Programming Techniques.
Computer programming.
Programming Languages, Compilers, Interpreters.
Programming languages (Electronic computers).
Logic programming
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.