-
1
-
-
0025419613
-
Non causal deduction in first-order temporal logic
-
Abadi, M. & Manna, Z. (1990) Non causal deduction in first-order temporal logic. Journal of the ACM, 37, 2, 279-317.
-
(1990)
Journal of the ACM
, vol.37
, Issue.2
, pp. 279-317
-
-
Abadi, M.1
Manna, Z.2
-
2
-
-
0028482963
-
The World-Wide Web
-
Berners-Lee, T., Cailliau, R., Luotonen, A., Nielsen, H.F. & Secret, A. (1994) The World-Wide Web. Communication of the ACM, 37, 8, 76-82.
-
(1994)
Communication of the ACM
, vol.37
, Issue.8
, pp. 76-82
-
-
Berners-Lee, T.1
Cailliau, R.2
Luotonen, A.3
Nielsen, H.F.4
Secret, A.5
-
3
-
-
0007171064
-
Multiplayer activities that develop mathematical coordination
-
eds. J.L. Schase & E.L. Cunnius
-
Bricker, L.J., Tanimoto, S.L., Rothenberg, A.I., Hutama, D.C. & Wong, T.H. (1995) Multiplayer Activities that Develop Mathematical Coordination. In Proceedings of CSCL'95 The First International Conference on Computer Support for Collaborative Learning (eds. J.L. Schase & E.L. Cunnius) pp. 32-39.
-
(1995)
Proceedings of CSCL'95 The First International Conference on Computer Support for Collaborative Learning
, pp. 32-39
-
-
Bricker, L.J.1
Tanimoto, S.L.2
Rothenberg, A.I.3
Hutama, D.C.4
Wong, T.H.5
-
4
-
-
0003899460
-
-
Addison-Wesley, Reading MA
-
Brownston, L., Farrell, R., Kant, E. & Martin, N. (1985) Programming Expert Systems in OPS5: An Introduction to Rule-Based Programming. Addison-Wesley, Reading MA.
-
(1985)
Programming Expert Systems in OPS5: An Introduction to Rule-based Programming
-
-
Brownston, L.1
Farrell, R.2
Kant, E.3
Martin, N.4
-
5
-
-
0024089371
-
gIBIS: A hypertext tool for exploratory policy discussion
-
Conklin, J. & Begeman, M.L. (1989) gIBIS: A hypertext tool for exploratory policy discussion. ACM Transactions on Office Information Systems, 6, 4, 303-331.
-
(1989)
ACM Transactions on Office Information Systems
, vol.6
, Issue.4
, pp. 303-331
-
-
Conklin, J.1
Begeman, M.L.2
-
6
-
-
0006990472
-
Facilitation of adult learning through computer conferencing
-
University of Guelph, Guelph, Ontario
-
Davie, L.E. (1987) Facilitation of adult learning through computer conferencing. In Proceedings of the Second Guelph Symposium on Computer Conferencing. pp, 11-22. University of Guelph, Guelph, Ontario.
-
(1987)
Proceedings of the Second Guelph Symposium on Computer Conferencing.
, pp. 11-22
-
-
Davie, L.E.1
-
7
-
-
0022098334
-
Structuring computer-mediated communication system to avoid information overload
-
Hiltz, S.R. & Turoff, M. (1985) Structuring computer-mediated communication system to avoid information overload. Communication of the ACM, 28, 7, 680-689.
-
(1985)
Communication of the ACM
, vol.28
, Issue.7
, pp. 680-689
-
-
Hiltz, S.R.1
Turoff, M.2
-
14
-
-
0009266331
-
What works in adult instruction: The management, design and delivery of instruction
-
Montague, W. & Knirk, F. (1993) What works in adult instruction: the management, design and delivery of instruction. International Journal of Educational Research, 19, 327-433.
-
(1993)
International Journal of Educational Research
, vol.19
, pp. 327-433
-
-
Montague, W.1
Knirk, F.2
-
16
-
-
0003027834
-
-
American Centre for the Study of Distance Education, Pennsylvania State University, University Park, PA
-
Wells, R. (1992) Computer-mediated Communication for Distance Education: An International Review of Design, Teaching and Institutional Issues. American Centre for the Study of Distance Education, Pennsylvania State University, University Park, PA.
-
(1992)
Computer-mediated Communication for Distance Education: An International Review of Design, Teaching and Institutional Issues
-
-
Wells, R.1
-
18
-
-
0039040865
-
Organizing Information in Mosaic: A Classroom Experiment
-
Wray, R.E., Chong, R., Phillips, J., Rogers, S., Walsh, W. & Laird, J. (1994) Organizing Information in Mosaic: A Classroom Experiment. Electronic Proceedings of the Second International WWW Conference '94: Mosaic and the Web, Chicago.
-
(1994)
Electronic Proceedings of the Second International WWW Conference '94: Mosaic and the Web, Chicago
-
-
Wray, R.E.1
Chong, R.2
Phillips, J.3
Rogers, S.4
Walsh, W.5
Laird, J.6
|