2477 search results - page 184 / 496 » First-Order Interactive Programming |
OWLED
2008
13 years 10 months ago
2008
OWL ontologies are complex computational artifacts that are intimately connected with conceptual information and with application issues that are not easily explicable in the conte...
IJOE
2008
13 years 9 months ago
2008
: What causes seasons? Why day and night durations are so different with seasons alternation? Why the position of the full moon seems directed to the south in summer while it seems...
AAECC
2002
Springer
13 years 9 months ago
2002
Springer
A fruitful interaction between a new randomized WZ procedure and other computer algebra programs is illustrated by the computer proof of a series evaluation that originates from a ...
VL
2009
IEEE
14 years 4 months ago
2009
IEEE
Source code on the web is a widely available and potentially rich learning resource for nonprogrammers. However, unfamiliar code can be daunting to end-users without programming e...
SIGCSE
2005
ACM
14 years 2 months ago
2005
ACM
Last year we described the PL-Detective, a system for building exercises and demonstrations in a programming languages course. One of the main goals of the PL-Detective was to pro...