Searching for Shortest Single Axioms for Groups of Exponent 6.

Nick C. Fiala Keith M. Agre

Published in: J. Autom. Reason. (2006)

Keyphrases

real time
knowledge base
data sets
data structure
shortest path
data mining
case study
database systems