( en | de | ru )

 

  2. person
  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)
  •  Reviewer:
  •  Advisor:
  •  Author: Martin Giese
  •  Editor:
  •  Other:
more

No resources found