Search
Skip to Search Results
Filter
Year
Author / Creator / Contributor
- 9University of Alberta. Western Centre for Economic Research.
- 9Unterschultz, Jim
- 6Veeman, Michele M.
- 5Liu, Ling
- 5Ozsu, M. Tamer
- 5Szafron, Duane
Subject / Keyword
- 36Instrumental music
- 14Vocal music
- 10Rats--Physiology
- 6Alberta
- 6Canada, Alberta, Edmonton
- 6Consumer behaviour
Collections
- 576Graduate and Postdoctoral Studies (GPS), Faculty of
- 576Graduate and Postdoctoral Studies (GPS), Faculty of/Theses and Dissertations
- 51Music, Department of
- 51Music, Department of/Concert Programmes
- 25Computing Science, Department of
- 25Computing Science, Department of/Technical Reports (Computing Science)
Languages
-
The Mutilated Checkerboard Problem in the Lightweight Set Theory of Mizar
1996
Technical report TR96-09. An 8 by 8 checkerboard with two diagonally opposite squares removed cannot be covered by 2 by 1 dominoes. John McCarthy postulates that a mechanized system of heavy duty set theory should accept his formal description of the proposition and his proof that the covering...
-
1996
Jones, S. D. M., Price, M. A., Coupland, T., Robertson, W. M.
A total of 281 lamb carcasses covering three weight groups (18–22.9, 23–25.9 and 26–30 kg) and fatness (< 3 mm, 3–5 mm and > 5 mm) were used to determine the usefulness of several carcass measurements for predicting saleable meat yield. Carcasses were measured for fat and muscle depth, 3–4 cm...
641 - 650 of 739