论文列表及评分结果
A heuristic job scheduling decision support system A case study.
电商所评分:9
nestedness, separability, information systems, and the role of the manager.
电商所评分:3
On the effectiveness of decisional guidance.
电商所评分:7
Incorporating expert judgement into multivariate polynomial modeling Topic department: Decision support systems foundations.
电商所评分:4
Three-Valued Logics: An Introduction, a Comparison of Various Logical Lexica, and Some Philosophical Remarks.
电商所评分:9
Stable Theories, Pseudoplanes and the Number of Countable Models.
电商所评分:1
Borel Ideals vs. Borel Sets of Countable Relations and Trees.
电商所评分:8
Aronszajn trees on aleph2 and aleph3.
电商所评分:8
The number of uncountable models of ω-stable theories.
电商所评分:4
Iterating ordinal definability.
电商所评分:8
Generalizing the Mahlo Hierarchy, with Applications to the Mitchell Models.
电商所评分:7
Set existence property for intuitionistic theories with dependent choice.
电商所评分:9
Countable algebra and set existence axioms.
电商所评分:3
Models with second order properties IV. A general method and eliminating diamonds.
电商所评分:6
Real closed rings II. model theory.
电商所评分:3
On the consistency strength of 'Accessible' Jonsson Cardinals and of the Weak Chang Conjecture.
电商所评分:7
Positive results in abstract model theory: a theory of compact logics.
电商所评分:4
A topological characterization of (λ, μ)*-compactness.
电商所评分:1
Global and local admissibility: II. Major subsets and automorphisms.
电商所评分:1
The density of the nonbranching degrees.
电商所评分:10
Some examples of precipitous ideals.
电商所评分:8
Set-theoretical models of λ-calculus: theories, expansions, isomorphisms.
电商所评分:9
The intervals of the lattice of recursively enumerable sets determined by major subsets.
电商所评分:2
Editorial.
电商所评分:10
Farewell and welcome.
电商所评分:5
∑11-Formulae on finite structures.
电商所评分:3
Locally pure topological abelian groups: elementary invariants.
电商所评分:2
Degree theory on alephω.
电商所评分:1
Some results on consecutive large cardinals.
电商所评分:8
Recursive coloration of countable graphs.
电商所评分:4