Toward Useful Type-Free Theories. I.

Solomon Feferman

Published in: J. Symb. Log. (1984)

Keyphrases

computer vision
databases
neural network
artificial intelligence
information systems
high level
legal knowledge