Number of the records: 1

A propositional calculus formal deductive system ULhe0,1] of universal logic

Title statement	A propositional calculus formal deductive system ULhe0,1] of universal logic
Main entry-name	Ma, Ying Cang (Author)
Another responsib.	He, Huacan C. (Author)
In	ICMLC 2005 : International Conference on Machine Learning and Cybernetics, China, Guangzhou, 18.-21.8.2005. -- The Hong Kong Polytechnic University, 2005. -- s.2716-2721
Language	English
Document kind	RZB - článok zo zborníka
References	(1) - monografia

article

citace PRO

Number of the records: 1