( en | de | ru )

 

Disambiguation of "Cheng, Jingde"

Author of the publication

copydeleteadd this publication to your clipboard
An Algebraic Semantics of Notional Entailment Logic Cn.

. Inf. Process. Lett., 36 (3): 117-121 (1990)

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. You can also use the button next to the name to display some publications already assigned to the person.

Cheng-Yung Cheng

I-Fen Cheng

Ying Min Cheng

Xuerong Cheng

Qing-Qi Cheng

 

Other publications of authors with the same name

Nondeterministic Parallel Control-Flow / Definition-Use Nets and their Applications.. PARCO, page 589-592. Elsevier, (1993)Logical tool of knowledge engineering: using entailment logic rather than mathematical logic.. ACM Conference on Computer Science, page 228-238. ACM, (1991)A Design of Evolutionary Personal Information Partner Based on Software as a Service., , and . CSA/CUTE, volume 474 of Lecture Notes in Electrical Engineering, page 407-412. Springer, (2017)EnCal: an automated forward deduction system for general-purpose entailment calculus.. IFIP World Conference on IT Tools, Chapman & Hall, (1996)A Supporting Tool for IT System Security Specification Evaluation Based on ISO/IEC 15408 and ISO/IEC 18045., , and . PAKDD (Workshops), volume 11607 of Lecture Notes in Computer Science, page 3-14. Springer, (2019)Automated Knowledge Acquisition by Relevant Reasoning Based on Strong Relevant Logic.. KES, volume 2773 of Lecture Notes in Computer Science, page 68-80. Springer, (2003)A General-Purpose Forward Deduction Engine for Modal Logics., , , and . KES (2), volume 3682 of Lecture Notes in Computer Science, page 739-745. Springer, (2005)A Strong Relevant Logic Model of Epistemic Processes in Schientific Discovery.. Discovery Science, volume 1532 of Lecture Notes in Computer Science, page 403-404. Springer, (1998)Run-Time Detection of Tasking Deadlocks in Real-Time Systems with the Ada 95 Annex of Real-Time Systems.. Ada-Europe, volume 4006 of Lecture Notes in Computer Science, page 167-178. Springer, (2006)Tasking Deadlocks in Ada 95 Programs and Their Detection., and . Ada-Europe, volume 1088 of Lecture Notes in Computer Science, page 135-146. Springer, (1996)