言語
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 /
…で:
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 /
…で:
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.