Constructivity in Computer Science
Constructivity in Computer Science 1991: San Antonio, Texas, USA
J. Paul Myers Jr., Michael J. O'Donnell (Eds.): Constructivity in Computer Science, Summer Symposium, San Antonio, Texas, USA, June 19-22, Proceedings. Springer 1992 Lecture Notes in Computer Science 613 ISBN 3-540-55631-1 [ contents ]



