Publications
- MaLeCoP: Machine Learning Connection Prover2011 | Faculty of Mathematics and Physics
- Experimenting with Machine Learning in Automated Theorem Proving1999 | Faculty of Mathematics and Physics
- Experimenting with Machine Learning in Automated Theorem ProvingPublication without faculty affiliation
- Optimization of prolog programs by fully automated transformation procedure2008 | Faculty of Mathematics and Physics
- Improving Efficiency of Prolog Programs by Fully Automated Unfold/Fold Transformation +12007 | Faculty of Mathematics and Physics
- Improving Efficiency of Prolog Programs by Fully Automated Transformation2007 | Faculty of Mathematics and Physics
- Education and culture in time of cybernetics +12005 | Faculty of Mathematics and Physics
- Speedup of logic programs by binarization and partial deduction2004 | Faculty of Mathematics and Physics
- Binary Speed Up for Logic Programs2000 | Faculty of Mathematics and Physics
- Extendible Meta-Interpreters1997 | Faculty of Mathematics and Physics
Loading network view...