Sciweavers

361 search results - page 73 / 73
» Analytic Methods for the Logic of Proofs
Sort
View
HT
1987
ACM
13 years 8 months ago
Exploring Representation Problems Using Hypertext
Hypertext is a technology well-suited to exploring different kinds of representational problems. It can be used first as an informal mechanism to describe the attributes of object...
Catherine C. Marshall