You have Guest access.
Log In
Volume 1 / 1991 - Volume 22 / 2012
iii
Editor's preface
J.H.F.
217-238
Critical Exchange
Virtual Symposium on Virtual Mind
Patrick Hayes, Stevan Harnad, Donald Perlis and Ned Block
239-265
General Articles
The role of memory and concepts in learning
Susan L. Epstein
267-282
Problem representation for refinement
H. Altay Guvenir and Varol Akman
283-307
Deductive program verification (a practitioner's commentary)
David A. Nelson
309-321
Book reviews
Valerie Shafer, Alexander Nakhimovsky, Robin Cohen and Mary Galbraith
323
AISB'93 Conference: Announcement and call for papers
Frequently asked questions General info on journals and books Send us your feedback Impressum Contact us
© Springer, Part of Springer Science+Business Media Privacy, Disclaimer, Terms & Conditions, and Copyright Info