Login / Signup
Grigori Mints, a Proof Theorist in the USSR: Some Personal Recollections in a Scientific Context.
Sergei Soloviev
Published in:
FLAP (2017)
Keyphrases
</>
contextual information
context sensitive
data mining
context aware
database systems
learning environment
knowledge retrieval
neural network
genetic algorithm
artificial intelligence
search algorithm
artificial neural networks
theorem prover
theorem proving
scientific data
social context