A Versatile, Sound Tool for Simplifying Definitions.

Alessandro Coglio Matt Kaufmann Eric Whitman Smith

Published in: ACL2 (2017)

Keyphrases

artificial intelligence
web services
three dimensional
database systems
user friendly
data sets
neural network
genetic algorithm
medical images
software tools