'Living Book': -'Deduction', 'Slicing', 'Interaction'.
Peter BaumgartnerUlrich FurbachMargret Groß-HardtAlex SinnerPublished in: CADE (2003)
Keyphrases
- book presents
- book covers
- cutting edge
- researchers and practitioners
- human computer interaction
- inference rules
- theorem proving
- covers a wide range
- human interaction
- databases
- database applications
- user interaction
- graduate students
- computer science
- detailed discussion
- neural network
- computer scientists
- database systems
- topics covered include
- program slicing