Login / Signup
First Order Marked Types.
Philippe Curmin
Published in:
TYPES (1995)
Keyphrases
</>
databases
web services
three dimensional
higher order
first order logic
stochastic dominance
artificial intelligence
knowledge representation