Reasoning about knowledge /

Autor Fagin, Ronald, 1945-, Halpern, Joseph Y., 1953-, Moses, Yoram, Vardi, Moshe Y., 1954-
Vydáno 2003

Logic for programming, artificial intelligence, and reasoning : 10th International Conference, LPAR 2003 : Almaty, Kazakhstan, Septmeber 22-26, 2003 : proceedings /

Vydáno 2003