1149 search results - page 38 / 230 » What Are Iteration Theories |
AISC
2010
Springer
13 years 11 months ago
2010
Springer
A lot of mathematical knowledge has been formalized and stored in repositories by now: Different mathematical theorems and theories have been taken into consideration and included ...
IBERAMIA
2004
Springer
14 years 2 months ago
2004
Springer
Many approaches of the agent paradigm emphasize the social and intentional features of their systems, what are called social properties. The study of these aspects demands their ow...
TLCA
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. We investigate the question of what constitutes a proof when quantifiers and multiplicative units are both present. On the technical level this paper provides two new as...
HICSS
2009
IEEE
2009
IEEE
An Information Systems Design Product Theory for Software Project Estimation and Measurement Systems
14 years 17 days ago
: There is relatively little research on software Project Estimation and Measurement Systems (PEMS). Commercial PEMS vary in functionality and effectiveness. Their intended users t...
AAAI
1996
13 years 10 months ago
1996
This paper investigates the foundation of rnaxipnin, one of the central qualitative decision criteria, using the approach taken by Savage (Savage 1972) to investigate the foundati...