- The G-calculus based compositional rule of inference
Počet záznamov: 1  

The G-calculus based compositional rule of inference

  1. TAKÁCS, Márta. The G-calculus based compositional rule of inference. In INES 2005 : 9th International Conference on Intelligent Engineering Systems, Cruising on Mediterranean Sea, 16.-19.9.2005. Budapešť : IEEE Joint Chapter of IES and RAS, 2005, s.69-73. V*
Počet záznamov: 1  

  Tieto stránky využívajú súbory cookies, ktoré uľahčujú ich prezeranie. Ďalšie informácie o tom ako používame cookies.