Difference between revisions of "Template:Computable knowledge"
Jump to navigation
Jump to search
imported>Izno (brint) |
imported>Izno (a couple more changes) |
||
| Line 29: | Line 29: | ||
| list2 = | | list2 = | ||
* [[Zairja]] | * [[Zairja]] | ||
| − | |||
* ''[[An Essay towards a Real Character and a Philosophical Language]]'' | * ''[[An Essay towards a Real Character and a Philosophical Language]]'' | ||
* [[Calculus ratiocinator]] & [[Characteristica universalis]] | * [[Calculus ratiocinator]] & [[Characteristica universalis]] | ||
| Line 42: | Line 41: | ||
* [[Prolog]] | * [[Prolog]] | ||
* [[Cyc]] | * [[Cyc]] | ||
| − | * [[Evi (software)| | + | * [[Evi (software)|Evi]] |
* [[Wolfram Alpha]] | * [[Wolfram Alpha]] | ||
* [[Watson (computer)|Watson]] | * [[Watson (computer)|Watson]] | ||