Publications index

Paul Dagum, Adam Galper, Eric Horvitz

Proceedings of the Eighth Annual Conference on Uncertainty in Artificial Intelligence (UAI 1992), Stanford University, Stanford, CA 1992 | July 1992

Peyton Jones, Simon L, Simon Peyton Jones

Journal of Functional Programming | July 1992, Vol 2: pp. 127-202

David Zeltzer, Steven Drucker

July 1992

Yi-Min Wang, W. Kent Fuchs

July 1992

Nick Benton

Proceedings of the 2nd International Symposium on Logical Foundations of Computer Science | July 1992

Rick Szeliski, David Tonnesen

1992 International Conference on Computer Graphics and Interactive Techniques | June 1992

Christopher Bishop

Review of Scientific Instruments | June 1992

Richard J. Boulton, Andy Gordon, Michael J. C. Gordon, John Harrison, John Herbert, John Van Tassel

Proceedings of the IFIP TC10/WG 10.2 International Conference on Theorem Provers in Circuit Design: Theory, Practice and Experience | June 1992

ISBN: 0-444-89686-4

Urban Engberg, Peter Gronning, Leslie Lamport

Computer-Aided Verification, G. v. Bochmann and D. K. Probst editors. (Proceedings of the Fourth International Conference, CAV'92.) Lecture Notes in Computer Science, number 663, Springer-Verlag, (June, 1992) 44-55. | June 1992

David Heckerman, Eric Horvitz, Bharat N. Nathwani

Methods of Information in Medicine | June 1992, Vol 31: pp. 90-105