Results

eNauka >  Results >  Parallel software system for counting finite models
Title: Parallel software system for counting finite models
Other Titles: Паралелни програмски систем за пребројавање коначних структура
Paralelni programski sistem za prebrojavanje konačnih struktura
Authors: Pejović, Aleksandar
Supervisor: Gilezan, Silvia  
Other contributors: Davidović, Tatjana  ; Stojaković, Miloš  ; Popović, Miroslav; Ivetić, Jelena  ; Gilezan, Silvia  
Issue Date: 2020
Publication: Универзитет у Новом Саду
Publisher: Универзитет у Новом Саду, Факултет техничких наука
Type: Doctoral theses
URI: https://nardus.mpn.gov.rs/handle/123456789/12178
https://enauka.gov.rs/handle/123456789/291208
https://www.cris.uns.ac.rs/DownloadFileServlet/Disertacija15740787572779.pdf?controlNumber=(BISIS)112402&fileName=15740787572779.pdf&id=14264&source=NaRDuS&language=sr
https://www.cris.uns.ac.rs/record.jsf?recordId=112402&source=NaRDuS&language=sr
https://www.cris.uns.ac.rs/record.jsf?recordId=112402&source=eNauka&language=en
https://www.cris.uns.ac.rs/DownloadFileServlet/IzvestajKomisije157407876288923.pdf?controlNumber=(BISIS)112402&fileName=157407876288923.pdf&id=14265&source=NaRDuS&language=sr
M-category: 
70M70

Find the DOI


Google ScholarTM

Creative Commons License