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