“自动推理-第二届国际联合会议,IJCAR 2004,……”
大卫·A·巴思 , 米夏埃尔·鲁西诺维奇 :
自动推理——第二届国际联合会议,IJCAR 2004,爱尔兰科克,2004年7月4日至8日,会议记录。 计算机科学课堂讲稿 3097, 施普林格 2004 ,国际标准图书编号 3-540-22345-2 【内容】
由于引用数据不可用,以下列表可能不完整, 引用字符串可能尚未成功映射到dblp中列出的项,并且 我们没有针对这些列表中给出的所有项目的完整和精心策划的元数据。