Artikel,

Hypothesis finding with proof theoretical appropriateness criteria.

, und .
Theor. Comput. Sci., 350 (1): 140-162 (2006)

Metadaten

Tags

Nutzer

  • @dblp

Kommentare und Rezensionen