Keyphrases
- interactive theorem proving
- book covers
- book presents
- cutting edge
- theorem proving
- levels of abstraction
- researchers and practitioners
- graduate students
- topics covered include
- object oriented
- data sets
- software engineering
- theorem prover
- web services
- high levels
- search engine optimization
- data mining
- linear logic
- real world