National Repository of Dissertations in Serbia
    • English
    • Српски
    • Српски (Serbia)
  • English 
    • English
    • Serbian (Cyrilic)
    • Serbian (Latin)
  • Login
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

Thumbnail
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

DSpace software copyright © 2002-2015  DuraSpace
About NaRDus | Contact us

OpenAIRERCUBRODOSTEMPUS
 

 

Browse

All of DSpaceUniversities & FacultiesAuthorsMentorCommittee membersSubjectsThis CollectionAuthorsMentorCommittee membersSubjects

DSpace software copyright © 2002-2015  DuraSpace
About NaRDus | Contact us

OpenAIRERCUBRODOSTEMPUS