1. Research with MATF
  2. MATF
  3. Research outputs
Please use this identifier to cite or link to this item: https://research.matf.bg.ac.rs/handle/123456789/2563
DC FieldValueLanguage
dc.contributor.authorStojanović, Tatjanaen_US
dc.contributor.authorIkodinović, Nebojšaen_US
dc.contributor.authorDavidović, Tatjana M.en_US
dc.contributor.authorOgnjanović, Zoran D.en_US
dc.date.accessioned2025-09-16T17:00:21Z-
dc.date.available2025-09-16T17:00:21Z-
dc.date.issued2014-
dc.identifier.urihttps://research.matf.bg.ac.rs/handle/123456789/2563-
dc.language.isoenen_US
dc.publisherBeograd : Matematički institut SANUen_US
dc.titleDealing with satisfiability problem in default logic using Bee-colony optimizationen_US
dc.typeConference Objecten_US
dc.relation.conferenceNacionalna konferencija "Verovatnosne logike i njihove primene" (4 ; 2014 ; Beograd)en_US
dc.relation.publicationIV Nacionalna konferencija "Verovatnosne logike i njihove primene" Beograd 2014. : Knjiga apstrakataen_US
dc.identifier.urlhttp://www.mi.sanu.ac.rs/conferences/vlp.pdf-
dc.contributor.affiliationAlgebra and Mathematical Logicen_US
dc.description.rankM64en_US
dc.relation.firstpage37en_US
dc.relation.lastpage39en_US
item.languageiso639-1en-
item.cerifentitytypePublications-
item.openairetypeConference Object-
item.openairecristypehttp://purl.org/coar/resource_type/c_18cf-
item.fulltextNo Fulltext-
item.grantfulltextnone-
crisitem.author.deptAlgebra and Mathematical Logic-
crisitem.author.orcid0000-0003-3832-760X-
Appears in Collections:Research outputs
Show simple item record

Google ScholarTM

Check


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.