On the Theorem of Feit-Higman.

Robert Kilmoyer Louis Solomon

Published in: J. Comb. Theory, Ser. A (1973)

Keyphrases

von neumann
information retrieval
artificial intelligence
search engine
computer vision
decision trees
high quality
bayesian networks
multi agent systems
computational complexity
intuitionistic logic
interactive theorem proving