External Links

    Journal: Minds and Machines

    Volume 2, Issue 3

    217 -- 238Patrick Hayes, Stevan Harnad, Donald Perlis, Ned Block. Virtual Symposium on Virtual Mind
    239 -- 265Susan L. Epstein. The role of memory and concepts in learning
    267 -- 282H. Altay Güvenir, Varol Akman. Problem representation for refinement
    283 -- 307David A. Nelson. Deductive program verification (a practitioner's commentary)
    309 -- 321Valerie Shafer, Alexander Nakhimovsky, Robin Cohen, Mary Galbraith. Book reviews
    runs on