Search Results for Logic. - Narrowed by: Logics and Meanings of Programs. - Math Applications in Computer Science. - Mathematical Logic and Formal Languages.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dLogic.$0026qf$003dSUBJECT$002509Subject$002509Logics$002band$002bMeanings$002bof$002bPrograms.$002509Logics$002band$002bMeanings$002bof$002bPrograms.$0026qf$003dSUBJECT$002509Subject$002509Math$002bApplications$002bin$002bComputer$002bScience.$002509Math$002bApplications$002bin$002bComputer$002bScience.$0026qf$003dSUBJECT$002509Subject$002509Mathematical$002bLogic$002band$002bFormal$002bLanguages.$002509Mathematical$002bLogic$002band$002bFormal$002bLanguages.$0026ic$003dtrue$0026te$003dILS$0026ps$003d300$0026isd$003dtrue?2024-09-10T02:16:51ZMathematics in Computing An Accessible Guide to Historical, Foundational and Application Contextsent://SD_ILS/0/SD_ILS:3310022024-09-10T02:16:51Z2024-09-10T02:16:51ZAuthor O’Regan, Gerard. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331002.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-4534-9">http://dx.doi.org/10.1007/978-1-4471-4534-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Modelling Computing Systems Mathematics for Computer Scienceent://SD_ILS/0/SD_ILS:3325742024-09-10T02:16:51Z2024-09-10T02:16:51ZAuthor Moller, Faron. author. Struth, Georg. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332574.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-84800-322-4">http://dx.doi.org/10.1007/978-1-84800-322-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Automated Reasoning and Mathematics Essays in Memory of William W. McCuneent://SD_ILS/0/SD_ILS:3342642024-09-10T02:16:51Z2024-09-10T02:16:51ZAuthor Bonacina, Maria Paola. editor. Stickel, Mark E. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334264.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-36675-8">http://dx.doi.org/10.1007/978-3-642-36675-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>