Hypothesis Finding with Proof Theoretical Appropriateness Criteria
From International Center for Computational Logic
Hypothesis Finding with Proof Theoretical Appropriateness Criteria
Bertram FronhöferBertram Fronhöfer, Akihiro YamamotoAkihiro Yamamoto
![Hypothesis Finding with Proof Theoretical Appropriateness Criteria Hypothesis Finding with Proof Theoretical Appropriateness Criteria](/w/images/thumb/e/e2/Missing_document_icon.png/150px-Missing_document_icon.png)
Bertram Fronhöfer, Akihiro Yamamoto
Hypothesis Finding with Proof Theoretical Appropriateness Criteria
Theoretical Computer Science, 350:140-162, 2006
Hypothesis Finding with Proof Theoretical Appropriateness Criteria
Theoretical Computer Science, 350:140-162, 2006
- Bemerkung: Note: 2006 Elsevier
- Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning
@article{FY2006,
author = {Bertram Fronh{\"{o}}fer and Akihiro Yamamoto},
title = {Hypothesis Finding with Proof Theoretical Appropriateness Criteria},
journal = {Theoretical Computer Science},
volume = {350},
year = {2006},
pages = {140-162}
}