Search




Research outputs

Mathematical Induction in Deductive Systems of Logic Programming   [2005]

Ognjenović, Višnja  ; Hotomski, Petar 

Filters

By type