Login / Signup

SLIM: An Automated Reasoner For Equivalences, Applied To Set Theory.

Alan F. McMichael
Published in: CADE (1990)
Keyphrases
  • set theory
  • real time
  • knowledge base
  • gray scale