語系
Fisher, Michael.
概要
作品: | 1 作品在 2 項出版品 1 種語言 |
---|
書目資訊
Logics in Artificial Intelligence10th European Conference, JELIA 2006, Liverpool, UK, September 13-15, 2006, Proceedings /
by:
(1998 :); Fisher, Michael.; SpringerLink (Online service)
(書目-電子資源)
Computational logic in multi-agent systemsb9th international workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008 ; revised selected and invited papers /
by:
(1998 :); Fisher, Michael.; Sadri, Fariba.; SpringerLink (Online service); Thielscher, Michael.
(書目-電子資源)
Computational logic in multi-agent systems13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012 : proceedings /
by:
(1998 :); Fisher, Michael.; SpringerLink (Online service)
(書目-電子資源)
Computational logic in multi-agent systems10th International Workshop, CLIMA X, Hamburg, Germany, September 9-10, 2009 : revised selected and invited papers /
by:
(1998 :); Dix, Jurgen.; Fisher, Michael.; Novak, Peter.; SpringerLink (Online service)
(書目-電子資源)
主題
Mathematical Logic and Formal Languages.
Artificial intelligence
Theory of Computation.
Data Structures, Cryptology and Information Theory.
Software Engineering.
Mathematics of Computing.
Logics and Meanings of Programs.
Logic, Symbolic and mathematica
Artificial Intelligence (incl. Robotics)
Programming Techniques.
Computer logic
Programming Languages, Compilers, Interpreters.
Models and Principles.
Contracts
Computational intelligence
Information Systems Applications (incl.Internet)
Computer Science.
Computer Communication Networks.
Intelligent agents (Computer software)
Multiagent systems