查看会员资料
- Email:用户隐藏
- Icq/MSN:qq
- 电话号码:
- Homepage:
- 会员简介:这家伙很懒,什么都没留下!
最新会员发布资源
fl-language_typed
- Prolog code defining syntax und semantics of the "factorial language" with welltyped predicates. Inspired by "Semantics With Applications" (Nielson).-Prolog code defining syntax und semantics of the "factorial languag