Publications index

Martin Abadi, Luca Cardelli, Pierre-Louis Curien

January 1993, pp. 157-170

Conf. Record 20th Ann. ACM SIGPLAN-SIGACT Symp. on Principles of Programming Languages, POPL'93, Charleston, SC

David Lomet

January 1993

Paul A. Viola

AI-TR-1548 | January 1993

Proceedings of the 2000 Haskell Workshop, Montreal

Olivier Faugeras, Bernard Hotz, Hervé Mathieu, Thierry Viéville, Zhengyou Zhang, Pascal Fua, Eric Théron, Laurent Moll, Gérard Berry, Jean Vuillemin, Patrice Bertin, Catherine Proy

| January 1993

Principles of Programming Languages (POPL)

Christopher Bishop

Gielen, S. and Kappen, B. (Eds.), Proceedings International Conference on Artificial Neural Networks ICANN'93 | January 1993

A. Blake, M. Taylor, A. Cox, Andrew Blake, Mike Taylor

Proc. 4th Int. Conf. on Computer Vision | January 1993

W. B. Runciman, Abigail Sellen, R. K. Webb, J. A. Williamson, M. Currie, C. Morgan, W. J. Russell

Anaesthesia & Intensive Care | January 1993, Vol 21(5): pp. 506-519

Christopher Bishop, Iain Strachan, John O'Rourke, Geoff Maddison, Paul Thomas

Neural Computing and Applications | January 1993, Vol 1(1): pp. 4–16

Christopher Bishop

Nuclear Instruments and Methods in Physics Research | January 1993, Vol A327: pp. 580-593

Gagan Aggarwal, Jason D. Hartline

ACM/SIAM Symposium on Discrete Algorithms (SODA) | January 1993

Project