Theories = Signatures + Propositions Used as Types.

Stephan A. Missura

Published in: AISMC (1994)

Keyphrases

neural network
information retrieval
computer vision
multi agent systems
probability theory