مؤتمر
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 |
Full Text Finder | ردمك: | 9781509030064 9781509030057 |
|---|---|
| DOI: | 10.1109/UKRCON.2017.8100435 |