Formal Reasoning in the Bang3 Multi-Agent System

Počet záznamů: 1

1.

SYSNO	0405001
Název	Formal Reasoning in the Bang3 Multi-Agent System
Tvůrce(i)	Beuster, Gerd (UIVT-O)
Vyd. údaje	Prague: ICS AS CR, 2003
Edice	Technical Report , V-889
Druh dok.	Výzkumná zpráva
CEZ	1030915
Jazyk dok.	eng
Země vyd.	CZ
Klíč.slova	MAS * bang * logic * deduction * description logics * agents
Trvalý link	http://hdl.handle.net/11104/0125221

	Název souboru	Staženo	Velikost	Komentář	Verze	Přístup
	v889-03.pdf	6	162.7 KB		Jiná	povolen

Počet záznamů: 1