Computer science logic : 7th workshop, CSL '93, Swansea, United Kingdom, September 13-17, 1993 : selected papers /

類似資料

• Logic and computational complexity : international workshop, LCC '94, Indianapolis, IN, USA, October 13-16, 1994 : selected papers /
  出版事項: (1995)
• Logical papers /
  著者:: Leibniz, Gottfried Wilhelm, Freiherr von, 1646-1716
  出版事項: (1966)
• Selected logic papers /
  著者:: Quine, W. V. (Willard Van Orman), 1908-
  出版事項: (1966)
• Constraints in computational logics : first international conference, CCL '94, Munich, Germany, September 7-9, 1994 : proceedings /
  出版事項: (1994)
• Southeast Asian Conference on Logic : proceedings of the Logic Conference, Singapore, 1981 /
  出版事項: (1983)