Searching for authors named "Josef Urban" – sorted by Relevance.
5 documents found, showing 1 through 5.
-
MaLARea: a Metasystem for Automated Reasoning in Large Theories
- …MaLARea: a Metasystem for Automated Reasoning in Large Theories Josef Urban Dept. of Theoretical…
- Cited by 1 (1 self) – Add To MetaCart
-
Automated Reasoning for Mizar: Artificial Intelligence through Knowledge Exchange
- …Automated Reasoning for Mizar: Artificial Intelligence through Knowledge Exchange Josef Urban…
- Add To MetaCart
-
The Combined KEAPPA- IWIL Workshops Proceedings Proceedings of the workshops Knowledge Exchange: Automated Provers and Proof Assistants
- …: Artificial Intelligence through Knowledge Exchange Josef Urban ∗ Charles University in Prague Abstract…
- Add To MetaCart
-
Integrated Semantic Browsing of the Mizar Mathematical Library for Authoring Mizar Articles
- … Grzegorz Bancerek and Josef Urban 1 Faculty of Computer Science Bialystok Technical University ul. Wiejska…
- Cited by 7 (3 self) – Add To MetaCart
-
ESARLT Empirically Successful Automated Reasoning in Large Theories
- … Theories Bremen, German, 15th July 2007 Editors: Geoff Sutcliffe, Josef Urban, Stephan Schulz…
- Add To MetaCart
Showing 1 through 5.
