Počet záznamů: 1  

Reasoning about Bang3 Multi-agent Systems in KR-Hyper

    1.
    BEUSTER, G., NERUDA, R., PELZER, B. Reasoning about Bang3 Multi-agent Systems in KR-Hyper. Prague: ICS AS CR, 2006. Technical Report, V-955.
Počet záznamů: 1  

  Tyto stránky využívají soubory cookies, které usnadňují jejich prohlížení. Další informace o tom jak používáme cookies.

Přijmout všeNastaveníOdmítnout vše