Formalni sistemi za dokazivanje teorema incidencije

Milićević, Marina

Резултати

еНаука > Резултати > Formalni sistemi za dokazivanje teorema incidencije

Назив:	Formalni sistemi za dokazivanje teorema incidencije
Остали називи:	Formal systems for proving incidence results
Аутори:	Milićević, Marina
Ментор:	Petrić, Zoran ; Baralić, Đorđe
Остала ауторства:	Gilezan, Silvia ; Janičić, Predrag ; Doroslovački, Ksenija ; Petrić, Zoran ; Baralić, Đorđe
Година:	2020
Публикација:	Универзитет у Новом Саду
Издавач:	Универзитет у Новом Саду, Факултет техничких наука
Тип резултата:	Докторска дисертација
URI:	https://www.cris.uns.ac.rs/DownloadFileServlet/Disertacija159480060455857.pdf?controlNumber=(BISIS)114829&fileName=159480060455857.pdf&id=16102&source=NaRDuS&language=sr https://www.cris.uns.ac.rs/record.jsf?recordId=114829&source=NaRDuS&language=sr https://www.cris.uns.ac.rs/DownloadFileServlet/IzvestajKomisije159480061237421.pdf?controlNumber=(BISIS)114829&fileName=159480061237421.pdf&id=16103&source=NaRDuS&language=sr https://nardus.mpn.gov.rs/handle/123456789/17976 https://enauka.gov.rs/handle/123456789/258755
М-категорија:	70M70 - Одбрањена докторска дисертација

Пронађи DOI

Проналажење DOI у сервису CrossRef-у на основу мета-података у запису. Приказаће се DOI (и метаподаци) чији се подаци највише поклапају. ОПРЕЗ - то не мора бити та публикација.

Google Scholar^TM

Creative Commons лиценца