Types in logic and mathematics before 1940.

Fairouz Kamareddine Twan Laan Rob Nederpelt

Published in: Bull. Symb. Log. (2002)

Keyphrases

computer algebra
real time
logic programming
data sets
neural network
real world
image sequences
modal logic
predicate logic
formal logic