語系
Fages, Francois.
概要
| 作品: | 1 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Formal methods in macro-biology[electronic resource] :First International Conference, FMMB 2014, Noumea, New Caledonia, September 22-24, 2014 : proceedings /
by:
Clark Conference ((2005 :); Fages, Francois.; Piazza, Carla.; SpringerLink (Online service)
(書目-語言資料,印刷品)
Recent advances in constraints[electronic resource] :12th annual ERCIM international workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2007, Rocquencourt, France, June 7-8, 2007 : revised selected papers /
by:
Clark Conference ((2005 :); Fages, Francois.; Rossi, Francesca.; Soliman, Sylvain.; SpringerLink (Online service)
(書目-語言資料,印刷品)
主題
Artificial intelligence
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Artificial Intelligence (incl. Robotics)
Algorithm Analysis and Problem Complexity.
Programming Languages, Compilers, Interpreters.
Health Informatics.
Numeric Computing.
Computer Science.
Constraint programming (Computer science)
Computational biology
Bioinformatics
Computational Biology/Bioinformatics.