Artificial Intelligence and Symbolic Computation (Q5464714)
From MaRDI portal
scientific article; zbMATH DE number 2195786
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Artificial Intelligence and Symbolic Computation |
scientific article; zbMATH DE number 2195786 |
Statements
Artificial Intelligence and Symbolic Computation (English)
0 references
19 August 2005
0 references
computer algebra
0 references
equational prover
0 references
term rewriting
0 references
