Software-practice & experience. 1993;23(12):1337-1360. doi: 10.1002/spe.4380231204 Q22.72025
QD-Janus: A sequential implementation of Janus in Prolog
QD-Janus:Janus在Prolog中的顺序实现
DOI: 10.1002/spe.4380231204
摘要
Software-practice & experience. 1993;23(12):1337-1360. doi: 10.1002/spe.4380231204 Q22.72025
DOI: 10.1002/spe.4380231204
摘要