Publications index

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

David Lomet, Betty Salzberg

June 1992

Mark Encarnación

Communications in Statistics"”Theory and Methods (Issue: 3) | June 1992, Vol 21: pp. 665-666