8582 search results - page 3 / 1717 » Here or There |
ASP
2001
Springer
15 years 2 months 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
15 years 2 months ago
2000
IEEE
ACSE
2000
ACM
15 years 2 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
15 years 1 months ago
1999
ACM
94
Voted
CQRE
1999
Springer
15 years 1 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...