[Lecture Notes in Computer Science] Agents Breaking Away Volume 1038 || Ideal and real belief about belief: Some intuitions
- 作者Van de Velde, Walter; Perram, John W.
- 文件大小657.74KB
- 发表时间1996
- DOI10.1007/bfb0031842
- 页码1-12
Lecture Notes in Computer Science 3582 FM 2005:Formal Methods International Symposium of Formal MethSpringer-Verlag · 2005
[Lecture Notes in Computer Science] Integrated Formal Methods Volume 8739 ||Albert, Elvira; Sekerinski, Emil · 2014
[Lecture Notes in Computer Science] Integrated Formal Methods Volume 4591 ||Davies, Jim; Gibbons, Jeremy · 2007
[Lecture Notes in Computer Science] NASA Formal Methods Volume 9690 ||Rayadurgam, Sanjai; Tkachuk, Oksana · 2016
[Lecture Notes in Computer Science] Integrated Formal Methods Volume 7940 ||Johnsen, Einar Broch; Petre, Luigia · 2013
Lecture Notes in Computer Science 4085 FM 2006:Formal Methods 14th International Symposium on FormalSpringer-Verlag · 2006
[Lecture Notes in Computer Science] Formal Methods in Computer-Aided Design ||Aagaard, Mark D.; O’Leary, John W. · 2002
[Lecture Notes in Computer Science] Integrated Formal Methods Volume 2335 ||Butler, Michael; Petre, Luigia; Sere, Kaisa · 2002