搜索结果: 1-2 共查到“数学 formalization”相关记录2条 . 查询时间(0.062 秒)
Any statement can be generalized so that it becomes trivial: A simple formalization of D. K. Faddeev's belief
power of generalization trivial statements
2010/9/15
In his unpublished lectures on general algebra, a well-known algebraist D. K. Faddeev expressed a belief that every true mathematical statement can be generalized in such a way that it becomes trivial...
A multi-agent system formalization in mobile environments
A multi-agent system formalization mobile environments
2010/9/10
This paper models and formalizes a mobile logic programming multi-agent system (MLPMAS) for mobile environments. Such a system consists of a number of agents connected via wire or wireless communicat...