Истраживачи



Филтрирано по:
Година:  [2010 TO 2019]
Година:  2015
Тип:  Научни чланак

ГодинаНасловАутор(и)Тип резултатаМп-кат.
2015Analyzing the exhaustiveness of the Synapse protocolMarinković, Bojan  ; Ciancaglini, Vincenzo; Ognjanović, Zoran  ; Glavan, Paola; Liquori, Luigi; Maksimović, PetarНаучни чланак
22M22 - Рад у истакнутом међ. часопису
2015Logics for Reasoning About Processes of Thinking with Information Coded by p-adic NumbersIlić-Stepić, Angelina  ; Ognjanović, Zoran  Научни чланак
21M21 - Рад у врхунском међ. часопису
2015First steps towards probabilistic justification logicKokkinis, Ioannis; Maksimović, Petar; Ognjanović, Zoran  ; Studer, ThomasНаучни чланак
21M21 - Рад у врхунском међ. часопису
2015Bee colony optimization for the satisfiability problem in probabilistic logicStojanović, Tatjana  ; Davidović, Tatjana  ; Ognjanović, Zoran  Научни чланак
21M21 - Рад у врхунском међ. часопису