ℹ️
🇬🇧
Search
Search for people relevant for "RE-AIM"
RE-AIM
Person
Class
Person
Publication
Programmes
RNDr. Jiří Vyskočil
External person at Faculty of Mathematics and Physics
9 publications
Publications
publication
Encoding of Planning Problems and their Optimizations in Linear Logic
+1
2009 |
Faculty of Mathematics and Physics
publication
Encoding of Planning Problems and Their Optimizations in Linear Logic
2009 |
Faculty of Mathematics and Physics
publication
Optimization of prolog programs by fully automated transformation procedure
2008 |
Faculty of Mathematics and Physics
publication
MaLARea SG1 - Machine learner for automated reasoning with semantic guidance
2008 |
Faculty of Mathematics and Physics
publication
Improving Efficiency of Prolog Programs by Fully Automated Unfold/Fold Transformation
+1
2007 |
Faculty of Mathematics and Physics
publication
Solving Difficult Problems by Viewing them as Structured Dense Graphs
2007 |
Faculty of Mathematics and Physics
publication
Improving Efficiency of Prolog Programs by Fully Automated Transformation
2007 |
Faculty of Mathematics and Physics
Loading network view...