An assertional proof for a construction of an atomic variable.

Wim H. Hesselink

Published in: Formal Aspects Comput. (2004)

Keyphrases

data sets
relational databases
theorem proving
real time
genetic algorithm
social networks
knowledge base
multiscale
multi agent
digital libraries
special case
logic programs
theorem prover
construction process
decision procedures