Living Book - Deduction, Slicing, and Interaction.

Peter Baumgartner Ulrich Furbach Margret Groß-Hardt Alex Sinner

Published in: J. Autom. Reason. (2004)

Keyphrases

book covers
book presents
cutting edge
inference rules
key concepts
business applications
neural network
international conference
information systems
theorem proving
user interaction
relational databases
databases
emerging technologies
conference proceedings
detailed discussion
book addresses
topics covered include