About the main ideas of the direct formal-logical description of the Georgian natural language system through the examples K Pkhakadze, G Chankvetadze, L Tibua, M Ivanishvili, L Lekiashvili, ... Proceedings of the V Tbilisi Symposium on Language, Logic and Computation …, 2003 | 9 | 2003 |
About Main Ideas of Direct Formal-Logical Description of the Georgian Language K Pkhakadze, G Chankvetadze, L Tibua, M Ivanishvili, L Lekiashvili, ... Proceedings of I. Vekua IAM, Tbilisi 53, 33-40, 2004 | 5 | 2004 |
PρLog for Access Control B Dundua, K Rukhaia, M RUKHAIA, L Tibua Journal of Technical Science and Technologies 5 (2), 41-44, 2016 | 1 | 2016 |
STAR TYPES: A TYPE SYSTEM FOR PATTERN CALCULUS. B Dundua, M Rukhaia, L Tibua Applied Mathematics, Informatics & Mechanics 25 (2), 2020 | | 2020 |
Application of CLP (SC) in Membrane Computing J ANTIDZE, B DUNDUA, M RUKHAIA, L TIBUA Journal of Technical Science and Technologies 5 (2), 7-12, 2016 | | 2016 |
An Algorithm of the Classification of Unranked Propositional Logic Formulas K Rukhaia, L Tibua, G Chankvetadze, G Mikhanadze Вісник Київського національного університету імені Тараса Шевченка. Серія …, 2013 | | 2013 |
T-UNIFICATION ALGIRITHM L Tibua, M Makharadze Doklady 25, 88, 1999 | | 1999 |
Unranked Probabilistic Theory Project Presentation A Bishara, L Kurtanidze, M Rukhaia, L Tibua | | |
A MODIFIED THEORY MτSR K Rukhaia, L Tibua, G Chankvetadze, V Plisko | | |
ONLINE TOOL TO FIND THE BOUNDS OF OBJECTIVE FUNCTIONS FOR A CLASS OF ONE-DIMENSIONAL BIN PACKING PROBLEMS G Fedulov, K Rukhaia, L Tibua, K Gulua, N Iashvili | | |
ABOUT THE MAIN IDEAS OF THE DIRECT FORMAL-LOGIKAL DESCRIPTION OF THE GEORGIAN NATURAL LANGUAGE SYSTEM THOUGHT ONE EXAMPLE M Ivanishvili, E Soselia, L Lekiashvili, K Pkhakadze, G Chankvetadze, ... | | |
ONE METHOD OF CONSTRUCTING A FORMAL SYSTEM1 K Rukhaia, L Tibua, G Chankvetadze, B Dundua | | |