語系
Sadri, Fariba.
概要
| 作品: | 3 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Computational logiclogic programming and beyond : essays in honour of Robert A. Kowalski.part II /
by:
Kakas, Antonis C.; Kowalski, Robert.; Sadri, Fariba.; SpringerLink (Online service)
(書目-電子資源)
Computational logiclogic programming and beyond : essays in honour of Robert A. Kowalski.part I /
by:
Kakas, Antonis C.; Kowalski, Robert.; Sadri, Fariba.; 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 systems8th international workshop, CLIMA VIII, Porto, Portugal, September 10-11, 2007 : revised selected and invited papers /
by:
(1998 :); Sadri, Fariba.; Satoh, Ken.; SpringerLink (Online service)
(書目-電子資源)
主題
Mathematical Logic and Formal Languages.
Theory of Computation.
Data Structures, Cryptology and Information Theory.
Mathematics of Computing.
Logics and Meanings of Programs.
Logic programming.
Artificial Intelligence (incl. Robotics)
Logic programming languages.
Computer logic
Models and Principles.
Automatic theorem proving.
Computational intelligence
Computer Science.
Kowalski, Robert.
Computer Communication Networks.
Intelligent agents (Computer software)