Difference between revisions of "Template:Computable knowledge"

From blackwiki
Jump to navigation Jump to search
imported>Biogeographist
(Undid revision 752489897 by Pleasantville (talk): WL existed before 2013, & Wolfram Alpha (written in WL) is already in template)
imported>Anuragggbasu
Line 12: Line 12:
 
* [[Commonsense reasoning]]
 
* [[Commonsense reasoning]]
 
* [[Computability]]
 
* [[Computability]]
* [[Formal system]]
+
* [[Formal system and informal system]]
 
* [[Inference engine]]
 
* [[Inference engine]]
 
* [[Knowledge base]]
 
* [[Knowledge base]]

Revision as of 12:38, 29 May 2017