Publication Records

2004

1. Types in Transparent Intensional Logic and Easel - a Comparison

   HORÁK, Aleš. Types in Transparent Intensional Logic and Easel - a Comparison. In Proceedings of the IASTED International Conference Artificial Intelligence and Applications 2004. Anaheim, Calgary, Zurich: The International Association of Science and Technology for Development, 2004, p. 833-837. ISBN 0-88986-404-7.

   More: https://is.muni.cz/publication/554586/en