送交者: 日尧 于 July 26, 2002 13:04:22:

回答: 初为人母 由 日尧 于 July 25, 2002 14:29:30:

今天到办公室开包时（办公室也刚搬完家）， 翻出来两套吉大念书时的课本， 油印的那种。 一套是《实用计算方法》 黄明游 梁振珊 编， 另一套是《形式语义学程序正确性》， 以色列的人猜猜是谁写的？

加跟贴