Počet záznamov: 1
The G-calculus based compositional rule of inference
- 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