Languages
Fages, Francois.
Overview
Works: | 1 works in 2 publications in 1 languages |
---|
Titles
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)
(Language materials, printed)
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)
(Language materials, printed)
Subjects
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.