BulDML at Institute of Mathematics and Informatics >
International Journal "Information Theories and Applications"
Virtual Instruments – Functional Model, Organization and Programming Architecture
Web-based Simultaneous Equation Solver
One Approach for the Optimization of Estimates Calculating Algorithms
Representing Autoepistemic Logic in Modal Logic
On the Relationship between Quantified Reflective Logic and Quantified Default Logic