1670 search results - page 42 / 334 » On Skolemization in constructive theories |
ECTEL
2006
Springer
14 years 1 months ago
2006
Springer
In this work informal learning theories and practices and social networking features are taken as starting points to build a reference collaboration model to support collaborative ...
BCSHCI
2007
13 years 11 months ago
2007
This poster builds on comparative ethnographic work of a multi-disciplinary medical team using a paper-based and a computer-based patient record system. It describes the design an...
CORR
2004
Springer
13 years 9 months ago
2004
Springer
Abstract. We investigate two associative products over the ring of symmetric functions related to the intransitive and Cartesian products of permutation groups. As an application, ...
IJBIS
2010
13 years 7 months ago
2010
This paper considers conceptual and contextual issues relating to the problem of developing systems models capable of representing knowable and unknowable information requirements...
RML
2006
13 years 9 months ago
2006
We construct a model of set theory without the foundation axiom in which there exists a transitive set whose intersection is not transitive.