Search Results for Math Applications in Computer Science. - Narrowed by: Artificial intelligence.SirsiDynix Enterprisehttps://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dMath$002bApplications$002bin$002bComputer$002bScience.$0026qf$003dSUBJECT$002509Subject$002509Artificial$002bintelligence.$002509Artificial$002bintelligence.$0026ps$003d300?2025-12-17T21:47:42ZAutomated Reasoning and Mathematics Essays in Memory of William W. McCuneent://SD_ILS/0/SD_ILS:3342642025-12-17T21:47:42Z2025-12-17T21:47:42ZAuthor 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/>Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems 10th International Conference, CPAIOR 2013, Yorktown Heights, NY, USA, May 18-22, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3345492025-12-17T21:47:42Z2025-12-17T21:47:42ZAuthor Gomes, Carla. editor. Sellmann, Meinolf. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334549.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38171-3">http://dx.doi.org/10.1007/978-3-642-38171-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Modeling and Simulation in Engineering, Economics, and Management International Conference, MS 2013, Castellón de la Plana, Spain, June 6-7, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3345732025-12-17T21:47:42Z2025-12-17T21:47:42ZAuthor Fernández-Izquierdo, María Ángeles. editor. Muñoz-Torres, María Jesús. editor. León, Raúl. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334573.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38279-6">http://dx.doi.org/10.1007/978-3-642-38279-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Search Theory A Game Theoretic Perspectiveent://SD_ILS/0/SD_ILS:3321292025-12-17T21:47:42Z2025-12-17T21:47:42ZAuthor Alpern, Steve. editor. Fokkink, Robbert. editor. Gąsieniec, Leszek. editor. Lindelauf, Roy. editor. Subrahmanian, V.S. editor.<br/>Preferred Shelf Number ONLINE(332129.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-6825-7">http://dx.doi.org/10.1007/978-1-4614-6825-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>Intelligent Computer Mathematics MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedingsent://SD_ILS/0/SD_ILS:3347812025-12-17T21:47:42Z2025-12-17T21:47:42ZAuthor Carette, Jacques. editor. Aspinall, David. editor. Lange, Christoph. editor. Sojka, Petr. editor. Windsteiger, Wolfgang. editor.<br/>Preferred Shelf Number ONLINE(334781.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39320-4">http://dx.doi.org/10.1007/978-3-642-39320-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>