TY - Computer Science A1 - YANG Xiu-mei, GUAN Yong, SHI Zhi-ping, WU Ai-xuan, ZHANG Qian-ying and ZHANG Jie T1 - Higher-order Logic Formalization of Function Matrix and its Calculus Y1 - 2018-12-01 JF - Computer Science JO - Computer Science SP - 24 EP - 29 VL - 43 IS - 11 UR - https://www.jsjkx.com N1 - 10.11896/j.issn.1002-137X.2016.11.005 ER -