Zobrazeno 1 - 10
of 19
pro vyhledávání: '"Pollet, Martin"'
Autor:
Hojda, Stephan, Pollet, Martin, Busch, Heike, Lin, Rongshan, Amend, Katharina, Rückert, Frank
Publikováno v:
BHM Berg- und Hüttenmännische Monatshefte; Mar2022, Vol. 167 Issue 3, p107-113, 7p
Autor:
Pollet, Martin, Sorge, Volker
Publikováno v:
In Electronic Notes in Theoretical Computer Science 21 March 2006 151(1):127-142
Publikováno v:
In Electronic Notes in Theoretical Computer Science 21 March 2006 151(1):93-110
Publikováno v:
In Electronic Notes in Theoretical Computer Science 3 November 2004 103:105-120
Publikováno v:
In Journal of Symbolic Computation 2002 34(4):287-306
We present a framework for describing proof planners. This framework is based around a decomposition of proof planners into planning states, proof language, proof plans, proof methods, proof revision, proof control and planning algorithms. We use thi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::fac1ff3eddb4bf339995eccbd1d121b6
http://eprints.nottingham.ac.uk/298/
http://eprints.nottingham.ac.uk/298/
Publikováno v:
Mathematical Knowledge Management; 2006, p81-95, 15p
Autor:
Wiedijk, Freek, Benzmüller, Christoph, Fiedler, Armin, Meier, Andreas, Pollet, Martin, Siekmann, Jörg
Publikováno v:
Seventeen Provers of the World; 2006, p127-141, 15p
Publikováno v:
Reasoning, Action & Interaction in AI Theories & Systems; 2006, p45-58, 14p
Kniha
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.