Towards a HOL Theory and Memory.

Jean-Paul Bodeveix Mamoun Filali P. Roche

Published in: TPHOLs (1994)

Keyphrases

theoretical basis
formal methods
theoretical framework
main memory
genetic algorithm
information systems
computational power
computing power
neural network
bayesian networks
evolutionary algorithm
computational models
theorem proving
memory space