Symbolic mathematics and artificial intelligence
| Zugehörige Institution(en) am KIT | Fakultät für Informatik – Institut für Algorithmen und Kognitive Systeme (IAKS) |
| Publikationstyp | Zeitschriftenaufsatz |
| Publikationsjahr | 2002 |
| Sprache | Englisch |
| Identifikator | ISSN: 1012-2443 KITopen-ID: 35652002 |
| Erschienen in | Annals of mathematics and artificial intelligence |
| Verlag | Springer |
| Band | 36 |
| Heft | 2 |
| Seiten | 1 |