Publications index

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

Paul Dagum, Eric Horvitz

UAI '92 Proceedings of the eighth conference on Uncertainty in Artificial Intelligence | June 1992

ISBN: 1-55860-258-5

Eric Horvitz

Proceedings of the First Conference on Medicine Meets Virtual Reality, San Diego, California, June 1992. | June 1992

David Tarditi, Peter Lee, Anurag Acharya

ACM Lett. Program. Lang. Syst. | June 1992, Vol 1: pp. 161-177

Brian LaMacchia

Computational Complexity | June 1992, Vol 2(2): pp. 111-128

John Krumm, Steven A. Shafer

IEEE Conference on Computer Vision and Pattern Recognition (CVPR 1992) | June 1992