Benedetto Intrigila和Richard Statman：组合逻辑范围问题的解决方案。(2011) 期刊/fuin/IntrigilaS11 10.3233/FI-2011-560 组合逻辑范围问题的解决方案。 2 贝内代托·因特里吉拉 1 理查德·斯塔特曼 2 203-222 芬丹。信息学 芬丹。信息学 111 2 2011 dblp记录“journals/fuin/IntrigilaS11”的RDF数据的出处信息 2020-09-18T11:15:23+0200