velikost textu
Výsledky projektu Nástroje a formáty pro automatické dokazování vět
Výsledky
  Typ výsledku
Autor celku
Název celku(Celkem 2 zázn.)
|
|---|
| Sutcliffe, Geoff; Suda, Martin; Teyssandier, Alexandra; Dellis, Nelson; de Melo, Gerard, Progress Towards Effective Automated Reasoning with World Knowledge; in Proceedings of the 23rd International FLAIRS Conference, AAAI Press, Menlo Park, CA, USA. (2010) [Jiný výsledek] |
| Suda, Martin; Sutcliffe, Geoff; Wischnewski, Patrick; Lamotte-Schubert, Manuel; de Melo, Gerard, External Sources of Axioms in Automated Theorem Proving; in Proceedings of the 32nd Annual Conference on Artificial Intelligence (eds. B. Mertsching), LNAI 5803, pp. 281-288. Springer, Heidelberg (2009) [Jiný výsledek] |