Automatic deduction and equality.

Vincent J. Digricoli

Published in: ACM Annual Conference (1979)

Keyphrases

semi automatic
real time
artificial intelligence
social networks
website
wide range
fully automatic
databases
genetic algorithm
special case