1615 search results - page 22 / 323 » Computer science and decision theory |
MFCS
1993
Springer
13 years 11 months ago
1993
Springer
We present the different constructive definitions of real number that can be found in the literature. Using domain theory we analyse the notion of computability that is substant...
CHI
2007
ACM
14 years 8 months ago
2007
ACM
The goals of this workshop are: (1) to bring together the community of researchers who are exploring innovative design theories and different design methodologies; (2) to evaluate...
Book
"This book describes different type theories (theories of types, polymorphic and monomorphic sets, and subsets) from a computing science perspective. It is intended for resear...
RTA
1998
Springer
13 years 11 months ago
1998
Springer
The system FT
ITICSE
2006
ACM
14 years 1 months ago
2006
ACM
Teaching computer science to children is a major priority in most countries in the world. Nevertheless, Computer Science curricula do not seem to address the children’s world, c...