مؤتمر
Unranked tableaux calculus for web related applications
العنوان: | Unranked tableaux calculus for web related applications |
---|---|
المؤلفون: | Dundua, Besik, Kurtanidze, Lia, Rukhaia, Mikheil |
المصدر: | 2017 IEEE First Ukraine Conference on Electrical and Computer Engineering (UKRCON) Electrical and Computer Engineering (UKRCON), 2017 IEEE First Ukraine Conference on. :1181-1184 May, 2017 |
Relation: | 2017 IEEE First Ukraine Conference on Electrical and Computer Engineering (UKRCON) |
قاعدة البيانات: | IEEE Xplore Digital Library |
ردمك: | 9781509030064 9781509030057 |
---|---|
DOI: | 10.1109/UKRCON.2017.8100435 |