Publikace
- Experimenty se strojovým učením v automatickém dokazování vět1999 | Publikace bez příslušnosti k fakultě
- Workshop on Knowledge Management in Formalized MathematicsPublikace bez příslušnosti k fakultě
- Schema-Based Transformations of Logic Programs in lambdaProlog2002 | Publikace bez příslušnosti k fakultě
Loading network view...