返回目錄
作者:  Workshop on Computer Science Logic (4th : 1990 : Heidelberg, Germany)
書名:  Computer science logic : 4th workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990 : proceedings / E. Börger ... [et al.], eds