TY  - BOOK
AU  - Goller Christoph
TI  - Connectionist approach for learning search-control heuristic s for automated deduction systems
SN  - 3-89601-206-1
U1  - 006.3 
PY  - 1999///
CY  - Berlin
PB  - Infix
KW  - Artificial intelligence
ER  -