Comparing the Theory of Representations and Constructive Mathematics.

A. S. Troelstra

Published in: CSL (1991)

Keyphrases

computer algebra
theoretical framework
theoretical basis
signal detection theory
formal logic
real time
neural network
e learning
three dimensional
support vector
conceptual framework
representation scheme