Virtual worlds as meeting places for formal systems

Kirstie L. Bellman, Christopher Landauer. Virtual worlds as meeting places for formal systems. Applied Mathematics and Computation, 120(1-3):165-173, 2001. [doi]

Abstract

Abstract is missing.