( en | de | ru )

 

Disambiguierung von "Kutsia, Temur"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Preface.

, , , und . Ann. Math. Artif. Intell., 91 (5): 563-565 (Oktober 2023)

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.

Temur Parulava

Merab Kutsia

Yavuz Temur

Takiyettin Temuralp

Asiye Temur-Görgülü

 

Weitere Publikationen von Autoren mit dem selben Namen

CLP(H): Constraint Logic Programming for Hedges., , , und . CoRR, (2015)Theorema 2.0: Computer-Assisted Natural-Style Mathematics., , , , und . J. Formaliz. Reason., 9 (1): 149-185 (2016)Preface., , , und . Ann. Math. Artif. Intell., 91 (5): 563-565 (Oktober 2023)Symbolic computation in software science., und . J. Symb. Comput., (2019)Regular expression order-sorted unification and matching., und . J. Symb. Comput., (2015)A rewrite-based computational model for functional logic programming., , und . SCSS, Volume 39 von EPiC Series in Computing, Seite 95-106. EasyChair, (2016)Matching with Membership Constraints for Hedge and Context Variables., und . UNIF, Seite 55-68. (2008)Anti-Unification: Algorithms and Applications.. UNIF@RTA/TLCA, Volume 19 von EPiC Series in Computing, Seite 2. EasyChair, (2013)Unranked Anti-Unification with Hedge and Context Variables., und . UNIF@RTA/TLCA, Volume 19 von EPiC Series in Computing, Seite 13-21. EasyChair, (2013)Anti-Unification of Concepts in Description Logic EL., und . KR, Seite 227-236. AAAI Press, (2016)