Резултати
| Назив: | ArgoSMTExpression: an SMT-LIB 2.0 compliant expression library | Аутори: | Banković, Milan   |
Година: | 2012 | Публикација: | Workshop Pragmatics of SAT 2012 - | Издавач: | FBK-Irst, Trento, Italy, Italija | Тип резултата: | Конференцијски рад | Колација: | str. 1-6 | URI: | https://enauka.gov.rs/handle/123456789/331833 | URL: | http://www.satcompetition.org/PoS12/pos12articles.zip | Извор метаподатака: | Migrirano iz RIS podataka | М-категорија: | Мп категорија ће бити приказана накнадно. |
Google ScholarTM
Резултати на еНаука су заштићени ауторским правима и сва права су задржана, осим ако није другачије назначено.