語系
Soliman, Sylvain.
概要
| 作品: | 1 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Recent advances in constraints12th annual ERCIM international workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2007, Rocquencourt, France, June 7-8, 2007 : revised selected papers /
by:
(1998 :); Fages, Francois.; Rossi, Francesca.; Soliman, Sylvain.; SpringerLink (Online service)
(書目-電子資源)
Principles and Practice of Semantic Web Reasoning :Third International Workshop, PPSWR 2005, Dagstuhl Castle, Germany, September 11-16, 2005, Proceedings
by:
(1998 :); Fages, Francois.; Soliman, Sylvain.; SpringerLink (Online service)
(書目-電子資源)
主題
Mathematical Logic and Formal Languages.
Software Engineering.
Artificial intelligence
Logics and Meanings of Programs.
Semantic Web
Artificial Intelligence (incl. Robotics)
Algorithm Analysis and Problem Complexity.
Information Storage and Retrieval.
Programming Languages, Compilers, Interpreters.
Numeric Computing.
Information Systems Applications (incl.Internet)
Computer Science.
Constraint programming (Computer science)