Languages
Sadri, Fariba.
Overview
| Works: | 3 works in 1 publications in 1 languages | |
|---|---|---|
Titles
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)
(Electronic resources)
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)
(Electronic resources)
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.
(Electronic resources)
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)
(Electronic resources)
Subjects
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)