( en | de | ru )

 

  3. Prof. Dr. Martin Giese
Martin Giese

Prof. Dr. Martin Giese

Proof search without backtracking for free variable tableaux.
. Karlsruhe Institute of Technology, Germany, (2002)
далее