1253 search results - page 46 / 251 » order 2000 |
PAKM
2000
13 years 11 months ago
2000
Knowledge management (KM) is emerging as one of the most powerful management tools in today's manufacturing. It looks at the company resources in order to gain competitive ad...
AML
2010
13 years 10 months ago
2010
We show the non-arithmeticity of 1st order theories of lattices of n sentences modulo provable equivalence in a formal theory, of diagonalizable algebras of a wider class of arithm...
ENDM
2006
13 years 10 months ago
2006
In this note, we prove the uniqueness of the one-point extension S of a generalized hexagon of order 2 and prove the non-existence of such an extension S of any other finite gener...
BSL
2000
13 years 9 months ago
2000
We recall the notions of weak and strong Euler characteristics on a first order structure and make explicit the notion of a Grothendieck ring of a structure. We define partially or...
SIAMDM
2000
13 years 9 months ago
2000
We establish that every cyclically 4-connected cubic planar graph of order at most 40 is hamiltonian. Furthermore, this bound is determined to be sharp and we present all nonhamil...