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. Technical Report, V-889.

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