Paper

Data

Name Goller C (1997)

Description

Title A connectionist approach for learning search control heuristics for automated deduction systems

References

Authors Goller C Show Other

Volume

First page

Last page

Publisher Technische Universitat Munchen

Pubmed ID

Year published 1997

Month published

Day published

Journal or book name Unpublished doctoral dissertation

Book Editor(s)

Missing References

Type

Digital Object Identifier

URL

Stated Usage

Species