1
|
Material Type: Livro
|
|
Epistemic logic for AI and computer science
J.-J. Ch. Meyer W Van der Hoek
Cambridge Cambridge University Press 2004, c1990
Localização:
FFLCH - Fac. Fil. Let. e Ciências Humanas
(006.3 M559e )(Acessar)
|
2
|
Material Type: Livro
|
|
Logics in artificial intelligence 10th European conference, JELIA 2006, Liverpool, UK, September 13-15 2006 : proceedings
JELIA 2006 (2006 Liverpool, England) Wiebe Van Der Hoek; Boris Konev; Alexei Lisitsa; Michael Fisher 1962
Berlin Springer New York 2006
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNAI v.4160 ) e outros locais(Acessar)
|