語系
Fages, Francois.
概要
| 作品: | 1 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Formal methods in macro-biology = First International Conference, FMMB 2014, Noumea, New Caledonia, September 22-24, 2014 : proceedings /
by:
Fages, Francois.; Piazza, Carla.; SpringerLink (Online service)
(書目-電子資源)
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:
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:
Fages, Francois.; Soliman, Sylvain.; SpringerLink (Online service); PPSWR 2005 ((2005 :)
(書目-語言資料,印刷品)
主題
Mathematical Logic and Formal Languages.
Software Engineering.
Artificial intelligence
Logics and Meanings of Programs.
Artificial Intelligence (incl. Robotics)
Algorithm Analysis and Problem Complexity.
Information Storage and Retrieval.
Programming Languages, Compilers, Interpreters.
Health Informatics.
Numeric Computing.
Information Systems Applications (incl.Internet)
Computer Science.
Semantic Web- Congresses.
Constraint programming (Computer science)
Computational biology
Bioinformatics
Computational Biology/Bioinformatics.