Počet záznamů: 1
Formal Reasoning in the Bang3 Multi-Agent System
SYS 0405001 LBL 00000nam^^22^^^^^^^^450 005 20231122133501.6 101 0-
$a eng $d eng 102 $a CZ 200 1-
$a Formal Reasoning in the Bang3 Multi-Agent System 210 $a Prague $c ICS AS CR $d 2003 215 $a 16 s. 225 1-
$a Technical Report $v V-889 610 1-
$a MAS 610 1-
$a bang 610 1-
$a logic 610 1-
$a deduction 610 1-
$a description logics 610 1-
$a agents 700 -1
$3 cav_un_auth*0100866 $a Beuster $b Gerd $p UIVT-O $4 070 $T Ústav informatiky AV ČR, v. v. i.
Počet záznamů: 1