Title:
Interactive derivation viewer
Speaker:
Steven Trac
Subject:
Computer Science: Software and Tools
Area:
Computer Science
Type of school:
videolectures.net
School name:
University of Miami
Country:
United States
Course language:
English (United States)
Course media:
Video
Course duration:
04:59
Contributor:
HR
Comments:
Interactive derivation viewer
author: Steven Trac, University of Miami
Description
This describes the IDV, a tool for graphically rendering derivations that are written in the Thousands of Problems for Theorem Provers (TPTP) language.
AAAI-07 AI Video Competition