Server-Process Restrictiveness in HOL.

Stephen H. Brackin Shiu-Kai Chin

Published in: HUG (1993)

Keyphrases

database
data sets
machine learning
case study
theorem prover
databases
real world
multiscale
relational databases
evolutionary algorithm
client server
call center