Search Results for Programming. - Narrowed by: Logic, Symbolic and mathematical.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dProgramming.$0026qf$003dSUBJECT$002509Subject$002509Logic$00252C$002bSymbolic$002band$002bmathematical.$002509Logic$00252C$002bSymbolic$002band$002bmathematical.$0026ps$003d300?2025-12-11T22:58:20ZLogic and Integer Programmingent://SD_ILS/0/SD_ILS:1680062025-12-11T22:58:20Z2025-12-11T22:58:20ZAuthor Williams, H. Paul. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-92280-5">http://dx.doi.org/10.1007/978-0-387-92280-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Principles of logic and logic programmingent://SD_ILS/0/SD_ILS:2537402025-12-11T22:58:20Z2025-12-11T22:58:20ZAuthor Metakides, George, 1945- Nerode, Anil, 1932- Sinachopoulos, A. (Aneta)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780444816443">http://www.sciencedirect.com/science/book/9780444816443</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Mathematics, Computer Science and Logic - A Never Ending Story The Bruno Buchberger Festschriftent://SD_ILS/0/SD_ILS:3328222025-12-11T22:58:20Z2025-12-11T22:58:20ZAuthor Paule, Peter. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332822.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-319-00966-7">http://dx.doi.org/10.1007/978-3-319-00966-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>From Linear Operators to Computational Biology Essays in Memory of Jacob T. Schwartzent://SD_ILS/0/SD_ILS:3309422025-12-11T22:58:20Z2025-12-11T22:58:20ZAuthor Davis, Martin. editor. Schonberg, Edmond. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(330942.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-4282-9">http://dx.doi.org/10.1007/978-1-4471-4282-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Logical Foundations of Computer Science International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3340382025-12-11T22:58:20Z2025-12-11T22:58:20ZAuthor Artemov, Sergei. editor. Nerode, Anil. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334038.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-35722-0">http://dx.doi.org/10.1007/978-3-642-35722-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Discrete structures, logic, and computabilityent://SD_ILS/0/SD_ILS:2683132025-12-11T22:58:20Z2025-12-11T22:58:20ZAuthor Hein, James L.<br/>Preferred Shelf Number QA76.9.M35 H44 2010<br/>Format: Books<br/>Availability Beytepe Library~1<br/>Introduction to mathematics of satisfiabilityent://SD_ILS/0/SD_ILS:5440452025-12-11T22:58:20Z2025-12-11T22:58:20ZAuthor Marek, V. W. (V. Wiktor), 1943, author.<br/>Preferred Shelf Number QA9.3 .M37 2009<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781439801741">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>Logic-based methods for optimization combining optimization and constraint satisfactionent://SD_ILS/0/SD_ILS:3002962025-12-11T22:58:20Z2025-12-11T22:58:20ZAuthor Hooker, John, 1949- Wiley InterScience (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access Wiley InterScience <a href="http://dx.doi.org/10.1002/9781118033036">An electronic book accessible through the World Wide Web; click for information</a>
Contributor biographical information <a href="http://catdir.loc.gov/catdir/bios/wiley043/99088732.html">http://catdir.loc.gov/catdir/bios/wiley043/99088732.html</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>