TFF1: The TPTP Typed First-Order Form with Rank-1 Polymorphism.

Jasmin Christian Blanchette Andrei Paskevich

Published in: CADE (2013)

Keyphrases

evolutionary algorithm
higher order
first order logic
real time
data sets
website
artificial neural networks
stochastic dominance
computer vision
information systems
image processing