Content deleted Content added
m WP:CHECKWIKI error #61 fixed + general fixes using AWB (8884) |
spelling "ofr" -> "for" |
||
Line 7:
| journal = Proc. Uncertainty in Artificial Intelligence
| year = 2008
| title=Church: a language
}}
</ref> Several different inference algorithms and concrete languages are in existence, including [[Bher]], [[MIT-Church]], [[Cosh]], and [[Venture]].
| |||