Original language | English |
---|---|
Title of host publication | Artificial Intelligence and Symbolic Computation, 7th International Conference, AISC 2004, Proceedings |
Editors | Bruno Buchberger, John Campbell |
Place of Publication | Berlin |
Publisher | Springer |
Pages | 80-93 |
ISBN (Print) | 3-540-23212-5 |
Publication status | Published - 2004 |
Publication series
Name | Artificial Intelligence and Symbolic Computation |
---|---|
Publisher | Springer |