SVEREL-Prološki program (objedinjavanje svih relacja)
Algoritmi za sređivanje niskovnih obrazaca
Jedan algoritam za određivanje najvećeg zajedničkog delioca polinoma.
Paralelizacija rada generatora pseudo-slučajnih nizova bitova (GPSN) i uopštenog generatora pseudo-slučajnih brojeva(CFSR)
Propov model i generisanje narodnih pripovedaka pomoću računara
Metodički aspekti opisa semantike programskih jezika
Kurepina hipoteza o levom faktorijelu
Work and life of professor Boško Jovanović
Formalne gramatike
Equational Reformulation Of Formal Theories
Une Classe D'Équations Matricielles Et L'Équation Fonctionnelle f² = f
Sur Une Classe D'Inéqutions Aux Différences Finites Et Sur La Convergence De Certaines Suites
A Completness Theorem For One Class Of The Propositional Calculi
Sur Un Théorème De S. Zervos
On the minimal distance of the zeros of a polynomial.
How to generalize logic programming to arbitrary set of clauses.
All reproductive solutions of finite equations.
Fin-set: a syntactical definition of finite sets.
A New Solving Procedure by m-M Calculus for Problems of Constrained Optimization
An Algorithm For The Solution Of A 2 × 2 System Of Nonlinear Algebraic Equations
Page 1 Next