| Shelfclass_id | 4.B.3 |
| Sortkey | SCHULZ, STEPHAN |
| Authors | Stephan Schulz |
| Title | Learning Search Control Knowledge for Equational Deduction |
| Publisher | Akademie Verlag |
| Year | 2000 |
| Languages | eng |
| Isbn | 3898382303 |
| Series | DISKI |
| Volume | 230 |
| Description | 182 p. |
| Record date | 20071106 |
| Location | Berlin |