Login / Signup

A Connection Based Proof Method for Intuitionistic Logic.

Jens Otten
Published in: TABLEAUX (1995)
Keyphrases
  • bayesian networks
  • expert systems
  • linear logic