Počet záznamů: 1  

Formal Reasoning in the Bang3 Multi-Agent System

    1.
    Beuster, Gerd
    Formal Reasoning in the Bang3 Multi-Agent System.
    Prague: ICS AS CR, 2003. 16 s. Technical Report, V-889.
    http://hdl.handle.net/11104/0125221

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