Login / Signup

Model Theory and Proof Theory of Coalgebraic Predicate Logic.

Tadeusz LitakDirk PattinsonKatsuhiko SanoLutz Schröder
Published in: Log. Methods Comput. Sci. (2018)
Keyphrases
  • predicate logic
  • high level
  • probabilistic model
  • probability distribution
  • natural language processing