05431 Executive Summary - Deduction and Applications.

Franz Baader Peter Baumgartner Robert Nieuwenhuis Andrei Voronkov

Published in: Deduction and Applications (2005)

Keyphrases

theorem proving
world wide
automated theorem proving
artificial intelligence
web pages
inference rules
theorem prover
computer algebra
neural network
machine learning
website
preprocessing
higher order
video summarization
summary generation