Category:アーギュメント・テクノロジー

• 

  Split Up (エキスパートシステム)

  Split Up (expert system)
  
• 

  対話型法律人工知能

  Lawbot
  
• 

  計算機援用証明

  Computer-assisted proof