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