Curry's Formalism as Structuralism.

Jonathan P. Seldin

Published in: Logica Universalis (2011)

Keyphrases

knowledge representation
real time
computational properties
formal theory
databases
genetic algorithm
artificial intelligence
feature selection
case study
special case
medical images
logic programs
model checking
formal model
probabilistic reasoning