Login / Signup

Approaches to Polymorphism in Classical Sequent Calculus.

Alexander J. SummersSteffen van Bakel
Published in: ESOP (2006)
Keyphrases
  • inference rules
  • sequent calculus
  • artificial intelligence
  • knowledge base
  • bayesian networks
  • expert systems