( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A Knowledge Processing Language and Its Parallel Inference System.

, , и . SEKE, стр. 199-206. Knowledge Systems Institute, (1993)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Jiafu Luo

Xu Xu

Xu Xu

Xianxiang Xu

Imaging findings of cerebral schistosomiasis in China. Uni Hamburg, (2010)

Yan Xu

Untersuchungen zur Verleimung von Holz und Holzspanplatten mit UF-Leimharzen und PMDI. TU Braunschweig, (2009)
 

Другие публикации лиц с тем же именем

Requirements Analysis and Specification as a Problem of Software Automation., и . SEKE, стр. 457-464. Knowledge Systems Institute, (1996)Formal semantics of some functional constructs of the software requirements definition language NDRDL., и . COMPSAC, стр. 642-645. IEEE Computer Society, (1997)Analogical Type Theory., и . DISCO, том 722 из Lecture Notes in Computer Science, стр. 33-44. Springer, (1993)Software Automation: From "Silly" to "Intelligent".. ICTAI, стр. 73-76. IEEE Computer Society, (1992)On the Design and Implementation of NDSAIL: A Software Automation System with Automated Learning Mechanisms., , , , , , , и . IFIP Congress (1), том A-12 из IFIP Transactions, стр. 186-192. North-Holland, (1992)The Directed Inference and Its Role in NDSAIL System., и . IWAR, том A-19 из IFIP Transactions, стр. 177-186. North-Holland, (1992)On the Design, Implementation and Use of the Systems Programming Language XCY., , , и . IFIP Congress, стр. 305-308. (1980)Quantum programming languages., и . Frontiers Comput. Sci. China, 2 (2): 161-166 (2008)A Knowledge Processing Language and Its Parallel Inference System., , и . SEKE, стр. 199-206. Knowledge Systems Institute, (1993)Development Transformation Based on Higher Order Type Theory., и . Constructivity in Computer Science, том 613 из Lecture Notes in Computer Science, стр. 58-70. Springer, (1991)