Toggle navigation
National Repository of Dissertations in Serbia
English
Српски
Српски (Serbia)
English
English
Serbian (Cyrilic)
Serbian (Latin)
Login
Toggle navigation
View Item
NaRDuS home
Универзитет у Крагујевцу
Природно-математички факултет
View Item
NaRDuS home
Универзитет у Крагујевцу
Природно-математички факултет
View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.
Logike sa metričkim operatorima
2019
Disertacija.pdf (1.616Mb)
Izvestaj_Nenad_Stojanovic_PMF.pdf (1.659Mb)
Author
Stojanović, Nenad
Mentor
Ikodinović, Nebojša
Committee members
Rašković, Miodrag
Đorđević, Radosav
Ilić Stepić, Angelina
Marinković, Silvana
Metadata
Show full item record
Faculty:
Универзитет у Крагујевцу, Природно-математички факултет
Date:
21-04-2019
Projects:
info:eu-repo/grantAgreement/MESTD/Basic Research (BR or ON)/174026/RS//
(RS-174026)
Keywords:
metric operator / soundess / completeness
[ Google Scholar ]
Handle
https://hdl.handle.net/21.15107/rcub_nardus_17533
URI
http://eteze.kg.ac.rs/application/showtheses?thesesId=7326
https://fedorakg.kg.ac.rs/fedora/get/o:1242/bdef:Content/download
https://nardus.mpn.gov.rs/handle/123456789/17533
Search DSpace
This Collection
Browse
All of DSpace
Universities & Faculties
Authors
Mentor
Committee members
Subjects
This Collection
Authors
Mentor
Committee members
Subjects