Počet záznamov: 1
The G-calculus based compositional rule of inference
SYS stu158733 LBL 00000naa--22000003a-4500 005 20150617225956.6 008 080226s2005------------------------eng-d 040 $a STU $b slo 041 0-
$a eng 100 1-
$a Takács, Márta $4 aut $7 stu_us_auth*stu74869 245 1-
$a The G-calculus based compositional rule of inference 773 0-
$7 nnam $d Budapešť : IEEE Joint Chapter of IES and RAS, 2005 $t INES 2005 : 9th International Conference on Intelligent Engineering Systems, Cruising on Mediterranean Sea, 16.-19.9.2005 $w stu_us_cat*stu158732 $g s.69-73
Počet záznamov: 1