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