Extensional Crisis and Proving Identity.

Ashutosh Gupta Laura Kovács Bernhard Kragl Andrei Voronkov

Published in: ATVA (2014)

Keyphrases

identity management
early warning
database
social networks
case study
real time
neural network
data mining
three dimensional
artificial neural networks
management system
object oriented
partial order