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