Login / Signup

On Some Subsystems of Dummett's LC.

Branislav R. Boricic
Published in: Math. Log. Q. (1985)
Keyphrases
  • artificial intelligence
  • real world
  • high level
  • multi agent systems
  • knowledge management