Journal of Logic and Computation. 1997;7(6):805-824. doi: 10.1093/logcom/7.6.805 Q40.72025

On the indiscernibility of individuals in logic programming

Eiter, T

DOI: 10.1093/logcom/7.6.805

摘要

期刊名：Journal of logic and computation

缩写：J LOGIC COMPUT

ISSN：0955-792X

e-ISSN：1465-363X

IF/分区：0.7/Q4

全文链接

官方链接

PMC全文

引文链接

复制

已复制！

格式：