Sign in

Extensional Crisis and Proving Identity.

Ashutosh GuptaLaura KovácsBernhard KraglAndrei 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