TAFA - A Tool for Admissibility in Finite Algebras.

Christoph Röthlisberger

Published in: TABLEAUX (2013)

Keyphrases

evolutionary algorithm
real time
web services
neural network
high level
multiscale