ID: | 14992 |
Title: | LNCS 2870 - Infrastructure for Web Explanations - http://www.cs.toronto.edu |
Description: | displaying proofs, and planned future tools such as proof web-search ... Figure 2 shows an instance of a node set, an inference step, and a reference ... |
Category: | Reference: Searching the Web |
Link Owner: | cs.toronto.edu |
Date Added: | August 28, 2009 04:24:43 AM |
Number Hits: | 1 |
Advertisement: | |