Login / Signup

OTTER and the Moufang Identity Problem.

Larry Wos
Published in: J. Autom. Reason. (1996)
Keyphrases
  • theorem prover
  • identity management
  • social context
  • multiscale
  • user interface