Zobrazeno 81 - 90
of 321
pro vyhledávání: '"Norrish, A."'
Autor:
NORRISH, ALAN, NORTH, DIANA, LAY YEE, ROY, JACKSON, RODNEY, Norrish, A, North, D, Yee, R L, Jackson, R
Publikováno v:
International Journal of Epidemiology; Oct1995, Vol. 24 Issue 5, p908-914, 7p
Publikováno v:
2008 IEEE International Conference on Integrated Circuit Design & Technology & Tutorial; 2008, p227-232, 6p
Autor:
Slind, Konrad, Norrish, Michael
Publikováno v:
Theorem Proving in Higher Order Logics (9783540710653); 2008, p28-32, 5p
Publikováno v:
Fm 2008: Formal Methods; 2008, p294-309, 16p
Publikováno v:
Proceedings of the 34th Annual ACM SIGPLAN-SIHACT Symposium: Principles of Programming Languages; 1/17/2007, p97-108, 12p
Publikováno v:
Proceedings of the 34th Annual ACM SIGPLAN-SIGACT Symposium Principles of Programming Languages; 1/17/2007, p97-108, 12p
Autor:
Carbonell, Jaime G., Siekmann, Jörg, Pfenning, Frank, Urban, Christian, Berghofer, Stefan, Norrish, Michael
Publikováno v:
Automated Deduction - CADE-21; 2007, p35-50, 16p
Autor:
Hutchison, David, Kanade, Takeo, Kittler, Josef, Kleinberg, Jon M., Mattern, Friedemann, Mitchell, John C., Naor, Moni, Nierstrasz, Oscar, Pandu Rangan, C., Steffen, Bernhard, Sudan, Madhu, Terzopoulos, Demetri, Tygar, Doug, Vardi, Moshe Y., Weikum, Gerhard, Schneider, Klaus, Brandt, Jens, Norrish, Michael, Vestergaard, René
Publikováno v:
Theorem Proving in Higher Order Logics (9783540745907); 2007, p207-222, 16p
Autor:
Bishop, Steve, Fairbairn, Matthew, Norrish, Michael, Sewell, Peter, Smith, Michael, Wansbrough, Keith
Publikováno v:
Conference Record of the 33rd ACM SIGPLAN-SIHACT Symposium: Principles of Programming Languages; 1/11/2006, p55-66, 12p
Autor:
Urban, Christian, Norrish, Michael
Publikováno v:
Proceedings of the 3rd ACM SIGPLAN Workshop: Mechanized Reasoning About Languages With Variable Binding; 9/30/2005, p25-32, 8p