( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A Tableaux Retlated Method for Modal Theorem Proving (Extended Abstract).

, , , и . TABLEAUX, стр. 61-63. (1992)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Silvia Dragan

Dragan Griebel

Dragan Gligorievski

Dragan Dinulovic

Dragan Pitzschke

 

Другие публикации лиц с тем же именем

Variable neighbourhood search for resolving routing and wavelength assignment problem in optical wavelength-division multiplexing networks., , , , и . IET Commun., 5 (14): 2028-2034 (2011)Solving the Capacitated Dispersion Problem with variable neighborhood search approaches: From basic to skewed VNS., , , и . Comput. Oper. Res., (2022)A general variable neighborhood search for the swap-body vehicle routing problem., , , , и . Comput. Oper. Res., (2017)Variable Neighborhood Search Approach for Solving Roman and Weak Roman Domination Problems on Graphs., и . Comput. Informatics, 38 (1): 57-84 (2019)Solving large p-median clustering problems by primal-dual variable neighborhood search., , , и . Data Min. Knowl. Discov., 19 (3): 351-375 (2009)EURO Mini Conference (MEC XXVIII) on Variable Neighborhood Search., , и . Electron. Notes Discret. Math., (2012)A general framework for nested variable neighborhood search., , , и . Electron. Notes Discret. Math., (2017)A general variable neighborhood search for solving the uncapacitated r-allocation p-hub median problem., , , и . Optim. Lett., 11 (6): 1109-1121 (2017)A general variable neighborhood search for solving the uncapacitated single allocation p-hub median problem., , , и . Eur. J. Oper. Res., 206 (2): 289-300 (2010)Variable neighborhood search for the vertex weighted k., , и . Eur. J. Oper. Res., 171 (1): 74-84 (2006)