1. Home
  2. Material Detail: Interactive derivation viewer

Material Detail

Interactive derivation viewer

Interactive derivation viewer

This video was recorded at AAAI 2007: AI Video Competition. This describes the IDV, a tool for graphically rendering derivations that are written in the Thousands of Problems for Theorem Provers (TPTP) language.
Keywords:
videolectures, ocwc, oec
Disciplines:
Go to Material  
Bookmark / Add to Course ePortfolio
Create a Learning Exercise
Add Accessibility Information
Rate
Add a Comment

Quality

  • User Rating
  • Comments
  • Learning Exercises
  • Bookmark Collections
  • Course ePortfolios
  • Accessibility Info

More about this material

Material Type:
Presentation
Date Added to MERLOT:
February 8, 2015
Date Modified in MERLOT:
February 8, 2015
Author:
Submitter:
The Open Education Consortium
Primary Audience:
College General Ed, College Lower Division, College Upper Division
Technical Format:
Video
Mobile Compatibility:
Not specified at this time
Language:
English
Cost Involved:
No
Source Code Available:
No
Accessibility Information Available:
Unknown
Creative Commons:
Creative Commons License
This work is licensed under a Attribution-NonCommercial-NoDerivs 3.0 United States

Browse...

Disciplines with similar materials as Interactive derivation viewer
People who viewed this also viewed
Other materials like Interactive derivation viewer

Comments

Log in to participate in the discussions or sign up if you are not already a MERLOT member.