Constructivity in computer science : proceedings - Summer Symposium on Constructivity in Computer Science( 1991 : San Antonio ); Summer Symposium on Constructivity in Computer Science San Antonio, 1991 (Berlin Springer Verlag, 1992)
Keywords: Computer science