Content deleted Content added
m moved from KRYPTON |
Notheruser (talk | contribs) m fmt + typo |
||
Line 1:
The '''KRYPTON''' programming
"An Essential Hybrid Reasoning System: Knowledge and Symbol Level Accounts of KRYPTON", R.J. Brachman et al, Proc IJCAI-85, 1985.
''This article (or an earlier version of it) contains material from [[FOLDOC]], used with [[Public Domain Resources/Foldoc license|permission]].''
|