Search Results for Knowledge theory. - Narrowed by: Reasoning.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dKnowledge$002btheory.$0026qf$003dSUBJECT$002509Subject$002509Reasoning.$002509Reasoning.$0026ps$003d300?dt=list2026-04-14T20:47:59ZSimple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideasent://SD_ILS/0/SD_ILS:6081682026-04-14T20:47:59Z2026-04-14T20:47:59ZAuthor Farmer, William M. author. (orcid)0009-0009-5524-9085 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-85352-4">https://doi.org/10.1007/978-3-031-85352-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Why it's OK to be of two mindsent://SD_ILS/0/SD_ILS:5584882026-04-14T20:47:59Z2026-04-14T20:47:59ZAuthor Church, Jennifer, 1954- author.<br/>Preferred Shelf Number BD183<br/>Electronic Access Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781003021544">https://www.taylorfrancis.com/books/9781003021544</a>
OCLC metadata license agreement <a href="http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf">http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Polarisation, arrogance, and dogmatism : philosophical perspectivesent://SD_ILS/0/SD_ILS:5835172026-04-14T20:47:59Z2026-04-14T20:47:59ZAuthor Tanesini, Alessandra, editor. Lynch, Michael P. (Michael Patrick), 1966- editor.<br/>Preferred Shelf Number BC177<br/>Electronic Access Taylor & Francis <a href="https://www.taylorfrancis.com/books/9780429291395">https://www.taylorfrancis.com/books/9780429291395</a>
OCLC metadata license agreement <a href="http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf">http://www.oclc.org/content/dam/oclc/forms/terms/vbrl-201703.pdf</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Mathematics and common sense : a case of creative tensionent://SD_ILS/0/SD_ILS:5396022026-04-14T20:47:59Z2026-04-14T20:47:59ZAuthor Davis, Philip J., 1923, author.<br/>Preferred Shelf Number QA9.2 .D38 2006<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781439864326">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>Knowledge representation and reasoningent://SD_ILS/0/SD_ILS:2537002026-04-14T20:47:59Z2026-04-14T20:47:59ZAuthor Brachman, Ronald J., 1949- Levesque, Hector J., 1951-<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9781558609327">http://www.sciencedirect.com/science/book/9781558609327</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Reasoning about knowledgeent://SD_ILS/0/SD_ILS:2199802026-04-14T20:47:59Z2026-04-14T20:47:59ZAuthor Fagin, Ronald.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access IEEE Xplore <a href="http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6276835">http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6276835</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>