167 search results - page 30 / 34 » Mathematical Logic and Deduction in Computer Science Educati... |
CASC
2006
Springer
14 years 9 days ago
2006
Springer
We address various aspects of our computer algebra-based computer logic system redlog. There are numerous examples in the literature for successful applications of redlog to practi...
AWIC
2003
Springer
14 years 1 months ago
2003
Springer
Abstract Search engines, with Google at the top, have many remarkable capabilities. But what is not among them is the deduction capability—the capability to synthesize an answer ...
BIRTHDAY
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. State-of-the-art proof presentation systems suffer from several deficiencies. First, they simply present the proofs without motivating why the proof is done as it is do...
CHI
2005
ACM
14 years 9 months ago
2005
ACM
Authentic practice in science requires access to phenomena. In this paper, we introduce RoomQuake, an application designed to foster the growth of a community of learning around s...
SIAMCOMP
2008
13 years 8 months ago
2008
Leslie Valiant recently proposed a theory of holographic algorithms. These novel algorithms achieve exponential speed-ups for certain computational problems compared to naive algo...