Finite Model Theory, Databases, and Computer-Aided Verification (Dagstuhl Seminar 99401)
暂无分享,去创建一个
Georg Gottlob | Victor Vianu | Erich Grädel | Moshe Y. Vardi | G. Gottlob | E. Grädel | V. Vianu | MosheY. Vardi
暂无分享,去创建一个
Georg Gottlob | Victor Vianu | Erich Grädel | Moshe Y. Vardi | G. Gottlob | E. Grädel | V. Vianu | MosheY. Vardi