Search Results for Logic programming. - Narrowed by: ProQuest (Firm) SirsiDynix Enterprise http://katalog.baskent.edu.tr/client/en_US/default/default/qu$003dLogic$002bprogramming.$0026qf$003dAUTHOR$002509Author$002509ProQuest$002b$002528Firm$002529$002509ProQuest$002b$002528Firm$002529$0026ic$003dtrue$0026ps$003d300?dt=list 2026-04-24T22:34:40Z Software testing for conventional and logic programming ent://SD_ILS/0/SD_ILS:1064313 2026-04-24T22:34:40Z 2026-04-24T22:34:40Z by&#160;Jack, Oliver.<br/><a href="https://ebookcentral.proquest.com/lib/baskent-ebooks/detail.action?docID=3040672">Click to View</a><br/>Format:&#160;Electronic Resources<br/> An inductive logic programming approach to statistical relational learning ent://SD_ILS/0/SD_ILS:937310 2026-04-24T22:34:40Z 2026-04-24T22:34:40Z by&#160;Kersting, Kristian.<br/><a href="https://ebookcentral.proquest.com/lib/baskent-ebooks/detail.action?docID=280881">Click to View</a><br/>Format:&#160;Electronic Resources<br/> Evolving knowledge bases specification and semantics ent://SD_ILS/0/SD_ILS:935123 2026-04-24T22:34:40Z 2026-04-24T22:34:40Z by&#160;Leite, Jo&atilde;o Alexandre.<br/><a href="https://ebookcentral.proquest.com/lib/baskent-ebooks/detail.action?docID=267495">Click to View</a><br/>Format:&#160;Electronic Resources<br/> Arithmetic and logic in computer systems ent://SD_ILS/0/SD_ILS:930700 2026-04-24T22:34:40Z 2026-04-24T22:34:40Z by&#160;Lu, Mi.<br/><a href="https://ebookcentral.proquest.com/lib/baskent-ebooks/detail.action?docID=226429">Click to View</a><br/>Format:&#160;Electronic Resources<br/> Systematic program design from clarity to efficiency ent://SD_ILS/0/SD_ILS:1010177 2026-04-24T22:34:40Z 2026-04-24T22:34:40Z by&#160;Liu, Yanhong Annie, 1965-<br/><a href="https://ebookcentral.proquest.com/lib/baskent-ebooks/detail.action?docID=1139623">Click to View</a><br/>Format:&#160;Electronic Resources<br/> Practical foundations for programming languages ent://SD_ILS/0/SD_ILS:1007109 2026-04-24T22:34:40Z 2026-04-24T22:34:40Z by&#160;Harper, Robert.<br/><a href="https://ebookcentral.proquest.com/lib/baskent-ebooks/detail.action?docID=1113098">Click to View</a><br/>Format:&#160;Electronic Resources<br/>