Number of the records: 1

The G-calculus based compositional rule of inference

Title statement	The G-calculus based compositional rule of inference
Main entry-name	Takács, Márta (Author)
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
Language	English
Document kind	RZB - článok zo zborníka
References	(1) - monografia

article

citace PRO

Number of the records: 1