Artificial Intelligence and Symbolic Computation
| ISBN: | 9783540232124 |
|---|---|
| Sprache: | Englisch |
| Seitenzahl: | 294 |
| Produktart: | Kartoniert / Broschiert |
| Herausgeber: | Buchberger, Bruno Campbell, John A. |
| Verlag: | Springer Berlin |
| Veröffentlicht: | 10.09.2004 |
| Untertitel: | 7th International Conference, AISC 2004 Linz, Austria, September 22–24, 2004 Proceedings |
| Schlagworte: | Variable algorithms automated deduction automated reasoning computational logics computational mathematics computeralgebra constraint processing expert system intelligence |