( en | de | ru )

 

Disambiguierung von "Kutsia, Temur"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Theorema: Towards computer-aided mathematical theory exploration.

, , , , , , , , , , und . J. Appl. Log., 4 (4): 470-504 (2006)

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

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)CLP(H): Constraint Logic Programming for Hedges., , , und . CoRR, (2015)Symbolic computation in software science., und . J. Symb. Comput., (2019)Regular expression order-sorted unification and matching., und . J. Symb. Comput., (2015)Anti-Unification of Concepts in Description Logic EL., und . KR, Seite 227-236. AAAI Press, (2016)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)Solving Equations Involving Sequence Variables and Sequence Functions.. AISC, Volume 3249 von Lecture Notes in Computer Science, Seite 157-170. Springer, (2004)A rewrite-based computational model for functional logic programming., , und . SCSS, Volume 39 von EPiC Series in Computing, Seite 95-106. EasyChair, (2016)