( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A General-Purpose Forward Deduction Engine for Modal Logics.

, , , и . KES (2), том 3682 из Lecture Notes in Computer Science, стр. 739-745. Springer, (2005)

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.

Cheng-Yung Cheng

Ying Min Cheng

Yao Cheng

Qing-Qi Cheng

Xuerong Cheng

 

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

A toolkit for developing programs of card game played on the internet., и . IWEC, том 240 из IFIP Conference Proceedings, стр. 57-64. Kluwer, (2002)Nondeterministic Parallel Control-Flow / Definition-Use Nets and their Applications.. PARCO, стр. 589-592. Elsevier, (1993)Evaluation about the Descriptive Power of QSL: A Specification Language for E-Questionnaire, E-Testing, and E-Voting Systems., , , и . SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI, стр. 198-203. IEEE, (2018)Logic basis for anticipatory reasoning-reacting systems with three-dimensional moving objects., , , , , , и . ICMLC, стр. 2641-2646. IEEE, (2010)An Extension of QSL for E-voting Systems., , и . CSA/CUTE, том 421 из Lecture Notes in Electrical Engineering, стр. 87-96. Springer, (2016)A Meta-Database System Approach for Business Data Sharing among Multiple Target Databases., , и . SKG, стр. 175-181. IEEE, (2019)A Run-Time Deadlock Detector for Concurrent Java Programs., , , , и . APSEC, стр. 45-52. IEEE Computer Society, (2001)Autonomous Evolution in Evolutionary Personal Information Partners: Mechanism and a Case Study., , и . CIS, стр. 461-465. IEEE Computer Society, (2016)Run-Time Detection of Tasking Deadlocks in Real-Time Systems with the Ada 95 Annex of Real-Time Systems.. Ada-Europe, том 4006 из Lecture Notes in Computer Science, стр. 167-178. Springer, (2006)Tasking Deadlocks in Ada 95 Programs and Their Detection., и . Ada-Europe, том 1088 из Lecture Notes in Computer Science, стр. 135-146. Springer, (1996)