A Direct Proof of Wiener's Theorem.

Matthew Hendtlass Peter Schuster

Published in: CiE (2012)

Keyphrases

interactive theorem proving
theorem proving
special case
reinforcement learning
complete axiomatization
digital topology
automated theorem proving
logic programs
relational databases
real time
bayesian networks
three dimensional
decision trees
knowledge base
e learning
computer vision
data mining