Browse wiki

From NLG Systems Wiki

Jump to: navigation, search
THINKER
Description explanation of natural deduction proofs  +
Domain formal proofs  +
Ended 1993  +
Language English  +
Modification dateThis property is a special property in this wiki. 17 November 2009 14:50:54  +
Name THINKER +
Started 1993  +
Worker Edgar +, Pelletier +
Categories NLG system
hide properties that link here 
THINKER + Name
 

 

Enter the name of the page to start browsing from.
Views
Personal tools
Toolbox