語系
Fages, Francois.
概要
作品: | 1 作品在 2 項出版品 1 種語言 |
---|
書目資訊
Recent advances in constraints13th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2008, Rome, Italy, June 18-20, 2008, Revised Selected Papers /
by:
(1998 :); Fages, Francois.; Oddi, Angelo.; Rossi, Francesca.; SpringerLink (Online service)
(書目-電子資源)
Recent advances in constraints12th annual ERCIM international workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2007, Rocquencourt, France, June 7-8, 2007 : revised selected papers /
by:
(1998 :); Fages, Francois.; Rossi, Francesca.; Soliman, Sylvain.; SpringerLink (Online service)
(書目-電子資源)
Formal methods in macro-biologyFirst International Conference, FMMB 2014, Noumea, New Caledonia, September 22-24, 2014 : proceedings /
by:
(1998 :); Fages, Francois.; Piazza, Carla.; SpringerLink (Online service)
(書目-電子資源)
Principles and Practice of Semantic Web Reasoning :Third International Workshop, PPSWR 2005, Dagstuhl Castle, Germany, September 11-16, 2005, Proceedings
by:
(1998 :); Fages, Francois.; Soliman, Sylvain.; SpringerLink (Online service)
(書目-電子資源)
主題
Mathematical Logic and Formal Languages.
Software Engineering.
Artificial intelligence
Logics and Meanings of Programs.
Semantic Web
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)
Constraints (Artificial intelligence)
Computer Science.
Constraint programming (Computer science)
Computational biology
Bioinformatics
Computational Biology/Bioinformatics.