Number of the records: 1
A propositional calculus formal deductive system ULhe0,1] of universal logic
SYS stu158720 LBL 00000naa--22000003a-4500 005 20150617225956.4 008 080226s2005------------------------eng-d 040 $a STU $b slo 041 0-
$a eng 100 1-
$a Ma, Ying Cang $4 aut $7 stu_us_auth*stu74417 245 1-
$a A propositional calculus formal deductive system ULhe0,1] of universal logic 700 1-
$a He, Huacan C. $4 aut $7 stu_us_auth*stu73627 773 0-
$7 nnam $d The Hong Kong Polytechnic University, 2005 $t ICMLC 2005 : International Conference on Machine Learning and Cybernetics, China, Guangzhou, 18.-21.8.2005 $w stu_us_cat*stu158718 $g s.2716-2721
Number of the records: 1