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.