Login / Signup
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