Login / Signup

Testing of Properties of Finite Algebras.

A. GoralcikováPavel GoralcikVáclav Koubek
Published in: ICALP (1980)
Keyphrases
  • finite number
  • spatial reasoning
  • neural network
  • information systems
  • search algorithm
  • software testing
  • real time
  • databases
  • real world
  • social networks
  • case study
  • hidden markov models
  • probabilistic model