Autor der Publikation

Toward the Formal Verification of a Unification System.

, , und . IEEE Trans. Syst. Man Cybern. Part B, 39 (4): 879-888 (2009)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Student Profile Clustering Based Personalized Exercise Recommendation: Taking Data Structures Course as an Example., , , , und . ICALT, Seite 68-70. IEEE, (2023)A moving radioactive source tracking and detection system., und . CISS, Seite 50-54. IEEE, (2009)An Analysis of the Relation Between Similarity Positions and Attributes of Concepts by Distance Geometry., und . CLSW, Volume 10085 von Lecture Notes in Computer Science, Seite 405-415. Springer, (2016)Parallel Computing for Option Pricing Based on the Backward Stochastic Differential Equation., , , und . HPCA (China), Volume 5938 von Lecture Notes in Computer Science, Seite 325-330. Springer, (2009)A New Multi-constrained QoS Routing Algorithm in Mobile Ad Hoc Networks., und . PRICAI, Volume 4099 von Lecture Notes in Computer Science, Seite 358-364. Springer, (2006)Interpolation to Data Points in Plane with Cubic Polynomial Precision., , und . Edutainment, Volume 4469 von Lecture Notes in Computer Science, Seite 677-686. Springer, (2007)Analytic Model for Network Viruses., , und . ICNC (3), Volume 3612 von Lecture Notes in Computer Science, Seite 903-910. Springer, (2005)Identification of Chinese Verb Nominalization Using Support Vector Machine., , , und . MICAI, Volume 4827 von Lecture Notes in Computer Science, Seite 933-943. Springer, (2007)Complexity analysis of the biomedical signal using fuzzy entropy measurement., , , und . Appl. Soft Comput., 11 (2): 2871-2879 (2011)A Situation Assessment Model and Its Application Based on Data Mining., , , und . FUSION, Seite 1-7. IEEE, (2006)