Title | ||
---|---|---|
Artificial Intelligence and Symbolic Computation, 7th International Conference, AISC 2004, Linz, Austria, September 22-24, 2004, Proceedings |
Year | Venue | Keywords |
---|---|---|
2004 | AISC | artificial intelligence,artificial intelligent,symbolic computation |
Field | DocType | Volume |
Quantifier elimination,Automated reasoning,Constraint satisfaction,Equation solving,Algebra,Computer science,Minimal logic,Symbolic computation,Theoretical computer science,Artificial intelligence,Linear logic,Higher-order logic | Conference | 3249 |
ISBN | Citations | PageRank |
isbn | 0 | 0.34 |
References | Authors | |
0 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Bruno Buchberger | 1 | 847 | 168.26 |
John A. Campbell | 2 | 232 | 38.88 |