( en | de | ru )

 

Disambiguierung von "Kutsia, Temur"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
CLP(H): Constraint Logic Programming for Hedges.

, , , und . CoRR, (2015)

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

Asiye Temur-Görgülü

Takiyettin Temuralp

 

Weitere Publikationen von Autoren mit dem selben Namen

CLP(H): Constraint Logic Programming for Hedges., , , und . CoRR, (2015)Regular expression order-sorted unification and matching., und . J. Symb. Comput., (2015)Symbolic computation in software science., und . J. Symb. Comput., (2019)Preface., , , und . Ann. Math. Artif. Intell., 91 (5): 563-565 (Oktober 2023)Theorema 2.0: Computer-Assisted Natural-Style Mathematics., , , , und . J. Formaliz. Reason., 9 (1): 149-185 (2016)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 of Concepts in Description Logic EL., und . KR, Seite 227-236. AAAI Press, (2016)Solving Equations Involving Sequence Variables and Sequence Functions.. AISC, Volume 3249 von Lecture Notes in Computer Science, Seite 157-170. Springer, (2004)Anti-Unification: Algorithms and Applications.. UNIF@RTA/TLCA, Volume 19 von EPiC Series in Computing, Seite 2. EasyChair, (2013)