Algorithms

Erich Grädel, Yuri Gurevich

J. Symbolic Logic | September 1995, 第 60 卷(3): pp. 952-969

Leslie Lamport

American Mathematical Monthly. Also appeared in Global Analysis in Modern Mathematics, Karen Uhlenbeck, editor. Publish or Perish Press, Houston. Also appeared as SRC Research Report 94. | August 1995, 第 102 卷(7): pp. 600-608

Max Chickering, Dan Geiger, David Heckerman

Information Processing Letters | August 1995, 第 54 卷: pp. 55-58

Chris Meek

Proceedings of Eleventh Conference on Uncertainty in Artificial Intelligence, ® Montreal, QU | 作者：Morgan Kaufmann | 1995

David Heckerman

MSR-TR-95-04 | August 1995

Proceedings of the Eleventh Conference on Uncertainty in Artificial Intelligence (UAI1995)

Sumit Basu

June 1995

硕士论文：MIT Department of Electrical Engineering and Computer Science (EECS), 1995. | June 1995

Martin Abadi, Leslie Lamport

ACM Transactions on Programming Languages and Systems. Also appeared as SRC Research Report 118. | May 1995, 第 17 卷(3): pp. 507-534

David Heckerman, John S. Breese, Koos Rommelse

CACM | May 1995

Erik Ruf

MSR-TR-95-20 | May 1995

Jim Gemmell, Dilip D. Kandlur, Harrick M. Vin, Lawrence A. Rowe, P. Venkat Rangan

April 1995