IBM Symposium on Mathematical Foundations of Computer Science, Mathematical Logic & Computer Science, 3, Kansai, 21-23 Aug., 1978 (Kansai : IBM, 1978)
Keywords: MATEMATICAS; COMPUTACIÓN