Automath Type Inclusion in Barendregt's Cube.

Fairouz Kamareddine Joe B. Wells Daniel Lima Ventura

Published in: CSR (2015)

Keyphrases

multi dimensional
real world
decision trees
multiscale
real time
artificial intelligence
multimedia
multi agent
cooperative
expert systems
special case