A New Proof of Wedderburn's Theorem.

Nicolas Lichiardopol

Published in: Am. Math. Mon. (2003)

Keyphrases

interactive theorem proving
neural network
machine learning
artificial intelligence
theorem prover
theorem proving
linear logic
databases
von neumann
intuitionistic logic
data sets
preprocessing
relational databases
knowledge representation
proof planning