| --------------------------------------------------------------------------------------------------- | |
| Reserve Item 1 | |
| Course Code: | cps841 |
| Required for: | Winter |
| Academic Years: | 2011 |
| Author: | Pascal Hitzler, Markus Krötzsch, Sebastian Rudolph |
| Title: | Foundations of Semantic Web technologies |
| Full Citation: | ISBN 9781420090505, Publisher Boca Raton : CRC Press, c2010 |
| Call Number: | TK5105.88815 .H57 2010 |
| Loan Period: | 1 Day - all Copy(s) Required |
| --------------------------------------------------------------------------------------------------- | |
| Reserve Item 2 | |
| Course Code: | cps841 |
| Required for: | Winter |
| Academic Years: | 2011 |
| Author: | Grigoris Antoniou and Frank van Harmelen |
| Title: | A semantic Web primer |
| Full Citation: | 2nd ed., Cambridge, Mass. : MIT Press, c2008, ISBN 9780262012423 |
| Call Number: | TK5105.88815 .A58 2008 |
| Loan Period: | 1 Day - 1 Copy(s) Required |
| --------------------------------------------------------------------------------------------------- | |
| Reserve Item 3 | |
| Course Code: | cps841 |
| Required for: | Winter |
| Academic Years: | 2011 |
| Author: | Daniel J. Velleman |
| Title: | How to prove it : a structured approach |
| Full Citation: | 2nd ed., New York : Cambridge University Press, 2006, ISBN 9780521675994. |
| Call Number: | QA9 .V38 2006 |
| Loan Period: | 1 Day - 1 Copy(s) Required |
| --------------------------------------------------------------------------------------------------- | |
| Reserve Item 4 | |
| Course Code: | cps841 |
| Required for: | Winter |
| Academic Years: | 2011 |
| Author: | Elliott Mendelson |
| Title: | Introduction to mathematical logic |
| Full Citation: | 3rd ed., Wadsworth & Brooks/Cole Advanced Books & Software, c1987, ISBN 0534066240 |
| Call Number: | QA9 .M4 1987 |
| Loan Period: | 1 Day - 1 Copy(s) Required |
| --------------------------------------------------------------------------------------------------- | |
| Reserve Item 5 | |
| Course Code: | cps841 |
| Required for: | Winter |
| Academic Years: | 2011 |
| Author: | edited by Franz Baader ... [et al.] |
| Title: | The description logic handbook : theory, implementation, and applications |
| Full Citation: | 2nd ed., Cambridge University Press, 2007, ISBN 9780521876254 |
| Call Number: | Q387.3 .D47 2007 |
| Loan Period: | 1 Day - 1 Copy(s) Required |
| --------------------------------------------------------------------------------------------------- | |
| Reserve Item 6 | |
| Course Code: | cps841 |
| Required for: | Winter |
| Academic Years: | 2011 |
| Author: | Mordechai Ben-Ari |
| Title: | Mathematical logic for computer science |
| Full Citation: | 2nd ed., London ; New York : Springer, c2001, ISBN 1852333197 |
| Call Number: | QA9 .B437 2001 |
| Loan Period: | 1 Day - 1 Copy(s) Required |
| --------------------------------------------------------------------------------------------------- | |
| Reserve Item 7 | |
| Course Code: | cps841 |
| Required for: | Winter |
| Academic Years: | 2011 |
| Author: | John Hebeler ... [et al.] |
| Title: | Semantic Web programming |
| Full Citation: | Indianapolis, IN : Wiley, 2009, ISBN 9780470418017 |
| Call Number: | TK5105.88815 .S46 2009 |
| Loan Period: | 1 Day - 1 Copy(s) Required |
| --------------------------------------------------------------------------------------------------- | |