| Shelfclass_id | 4.B.3 |
| Sortkey | GOLLER, CHRISTOPH |
| Authors | Christoph Goller |
| Title | A Connectionist Approach for Learning Search Control Heuristics for Automated Deduction Systems |
| Publisher | Infix |
| Year | 1999 |
| Languages | eng |
| Isbn | 3896012061 |
| Series | DISKI |
| Volume | 206 |
| Description | (kart.) xiii, 136 s. Ill., graph. Darst. 21 cm |
| Record date | 20060717 |
| Location | Sankt Augustin |
| Keywords | AI, Bevisteori, Automatisches Beweisverfahren, Artificial intelligence, Proof theory, Artificiell intelligens |