Login / Signup

A more general general proof theory.

Heinrich Wansing
Published in: J. Appl. Log. (2017)
Keyphrases
  • special case
  • artificial intelligence
  • knowledge base
  • automated reasoning