語系
Schrijvers, Tom.
概要
作品: | 1 作品在 1 項出版品 1 種語言 |
---|
書目資訊
Functional and logic programming11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012 : proceedings /
by:
(1998 :); Schrijvers, Tom.; SpringerLink (Online service); Thiemann, Peter.
(書目-電子資源)
Constraint handling rulescurrent research topics /
by:
Fruhwirth, Thom.; Schrijvers, Tom.; SpringerLink (Online service)
(書目-語言資料,印刷品)
主題
Mathematical Logic and Formal Languages.
Software Engineering.
Logics and Meanings of Programs.
Algorithm Analysis and Problem Complexity.
Programming Techniques.
Database Management.
Artificial Intelligence (incl. Robotics)
Logic programming
Programming Languages, Compilers, Interpreters.
Functional programming (Computer science)
Computer Science.
Constraint programming (Computer science)