Keyphrases
- theorem prover
- natural deduction
- cloud computing
- virtual machine
- operating system
- theorem proving
- inference rules
- higher order logic
- first order logic
- cut elimination
- high availability
- data center
- data integration
- sequent calculus
- storage management
- database
- data sets
- distributed computing
- storage devices
- neural network
- future internet
- information systems
- network access
- end users
- cost effective