語系
Fages, Francois.
概要
| 作品: | 2 作品在 3 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Recent advances in constraints = 13th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2008, Rome, Italy, June 18-20, 2008, Revised Selected Papers /
by:
Fages, Francois.; SpringerLink (Online service); Oddi, Angelo.; Congress on Progress and Controversies in Oncological Urology (2000:); Rossi, Francesca.
(書目-電子資源)
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
Artificial Intelligence (incl. Robotics)
Algorithm Analysis and Problem Complexity.
Constraint programming (Computer science)
Logics and Meanings of Programs.
Numeric Computing.
Mathematical Logic and Formal Languages.
Information Systems Applications (incl.Internet)
Semantic Web
Constraints (Artificial intelligence)
Information Storage and Retrieval.
Computer Science.
Programming Languages, Compilers, Interpreters.