Are there Hilbert-style Pure Type Systems?

Martin W. Bunder Wil Dekkers

Published in: Log. Methods Comput. Sci. (2008)

Keyphrases

management system
neural network
complex systems
database
artificial intelligence
information systems
multimedia
high level
expert systems
distributed systems
learning systems
computing systems