( en | de | ru )

 

Disambiguierung von "Nantajeewarawat, Ekawit"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Integration of and a Solution for Proof Problems and Query-Answering Problems.

, und . IC3K, Volume 454 von Communications in Computer and Information Science, Seite 215-229. Springer, (2013)

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.

Keine Personen gefunden für den Autorennamen Nantajeewarawat, Ekawit
Eine Person hinzufügen mit dem Namen Nantajeewarawat, Ekawit
 

Weitere Publikationen von Autoren mit dem selben Namen

Meaning-preserving Skolemization., und . KEOD, Seite 322-327. SciTePress, (2011)A Delayed Splitting Bottom-Up Procedure for Model Generation., und . Australasian Conference on Artificial Intelligence, Volume 7691 von Lecture Notes in Computer Science, Seite 481-492. Springer, (2012)A Rule-Based Approach to Activity Recognition., , , , und . KICSS, Volume 6746 von Lecture Notes in Computer Science, Seite 204-215. Springer, (2010)Model-Intersection Problems with Existentially Quantified Function Variables: Formalization and a Solution Schema., und . KEOD, Seite 52-63. SciTePress, (2016)Logical Problem Solving Framework., , und . ACIIDS (1), Volume 11431 von Lecture Notes in Computer Science, Seite 28-40. Springer, (2019)A Knowledge-Based Approach for Generating UML Sequence Diagrams from Operation Contracts., und . KICSS, Volume 685 von Advances in Intelligent Systems and Computing, Seite 141-155. Springer, (2015)Unfolding Existentially Quantified Sets of Extended Clauses., und . KEOD, Seite 96-103. SciTePress, (2016)Toward real-time accurate fall/fall recovery detection system by incorporating activity information., , , und . BHI, Seite 196-199. IEEE, (2012)Embedding Proof Problems into Query-answering Problems and Problem Solving by Equivalent Transformation., und . KEOD, Seite 253-260. SciTePress, (2013)An ET-Based Low-Level Solution for Query-Answering Problems., und . MIWAI, Volume 8271 von Lecture Notes in Computer Science, Seite 1-12. Springer, (2013)