8582 search results - page 3 / 1717 » Here or There |
ASP
2001
Springer
14 years 1 days ago
2001
Springer
This workpresents a newlogical characterization of well foundedsemanticsthat provides, as interesting innovation, a fully semantic-oriented treatment of programconnectives without...
EH
2000
IEEE
13 years 12 months ago
2000
IEEE
ACSE
2000
ACM
13 years 12 months ago
2000
ACM
The Logo programming language implements a virtual drawing machine—the turtle machine. The turtle machine is well-known for giving students an intuitive understanding of fundame...
SIGCSE
1999
ACM
13 years 12 months ago
1999
ACM
CQRE
1999
Springer
13 years 11 months ago
1999
Springer
Currently, the Internet and the World Wide Web on-line business is booming, with traffic, advertising and content growing at sustained exponential rates. However, the full potentia...