发现好书期刊，享受阅读乐趣

海量图书期刊资源，随时随地畅享阅读乐趣

Automatic models of first order theories

Automatic models of first order theories

Semukhin, Pavel; Stephan, Frank

期刊名称Annals of Pure and Applied Logic
作者Semukhin, Pavel; Stephan, Frank
卷第164卷
期第9期
印刷ISSN0168-0072
文件大小293.04KB
发表时间2013-09
DOI10.1016/j.apal.2013.03.001
页码837-854

← 返回【学霸图书馆】主页