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?2026-01-27T06:30:12ZLogic and Integer Programmingent://SD_ILS/0/SD_ILS:1680062026-01-27T06:30:12Z2026-01-27T06:30:12ZAuthor 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:2537402026-01-27T06:30:12Z2026-01-27T06:30:12ZAuthor 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/>Symbolic regressionent://SD_ILS/0/SD_ILS:5815042026-01-27T06:30:12Z2026-01-27T06:30:12ZAuthor Kronberger, Gabriel, author. Burlacu, Bogdan, author. Kommenda, Michael, author. Winkler, Stephan M., author. Affenzeller, Michael, author.<br/>Preferred Shelf Number QA76.623<br/>Electronic Access Taylor & Francis <a href="https://www.taylorfrancis.com/books/9781315166407">https://www.taylorfrancis.com/books/9781315166407</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/>Introduction to fuzzy logicent://SD_ILS/0/SD_ILS:5966432026-01-27T06:30:12Z2026-01-27T06:30:12ZAuthor Peckol, James K., author. John Wiley & Sons, publisher.<br/>Preferred Shelf Number QA9.64 .P43 2021<br/>Electronic Access <a href="https://onlinelibrary.wiley.com/doi/book/10.1002/9781119772644">https://onlinelibrary.wiley.com/doi/book/10.1002/9781119772644</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:3309422026-01-27T06:30:12Z2026-01-27T06:30:12ZAuthor 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/>Mathematics, Computer Science and Logic - A Never Ending Story The Bruno Buchberger Festschriftent://SD_ILS/0/SD_ILS:3328222026-01-27T06:30:12Z2026-01-27T06:30:12ZAuthor 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/>Logical Foundations of Computer Science International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3340382026-01-27T06:30:12Z2026-01-27T06:30:12ZAuthor 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:2683132026-01-27T06:30:12Z2026-01-27T06:30:12ZAuthor 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:5440452026-01-27T06:30:12Z2026-01-27T06:30:12ZAuthor 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:3002962026-01-27T06:30:12Z2026-01-27T06:30:12ZAuthor 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/>