Počet záznamů: 1
Reasoning about Bang3 Multi-agent Systems in KR-Hyper
- 1.Beuster, G. - Neruda, Roman - Pelzer, B.
Reasoning about Bang3 Multi-agent Systems in KR-Hyper.
Prague: ICS AS CR, 2006. 23 s. Technical Report, V-955.
http://hdl.handle.net/11104/0149556
Počet záznamů: 1