Search Results for Mathematics. - Narrowed by: SpringerLink (Online service) - E-Book - 2019 - Artificial intelligence. - Mathematical logic. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dMathematics.$0026qf$003dAUTHOR$002509Author$002509SpringerLink$002b$002528Online$002bservice$002529$002509SpringerLink$002b$002528Online$002bservice$002529$0026qf$003dITYPE$002509Material$002bType$0025091$00253AE-KITAP$002509E-Book$0026qf$003dPUBDATE$002509Publication$002bDate$0025092019$0025092019$0026qf$003dSUBJECT$002509Subject$002509Artificial$002bintelligence.$002509Artificial$002bintelligence.$0026qf$003dSUBJECT$002509Subject$002509Mathematical$002blogic.$002509Mathematical$002blogic.$0026ic$003dtrue$0026te$003dILS$0026ps$003d300? 2024-09-07T13:50:00Z Automated Reasoning with Analytic Tableaux and Related Methods 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings ent://SD_ILS/0/SD_ILS:483605 2024-09-07T13:50:00Z 2024-09-07T13:50:00Z Author&#160;Cerrito, Serenella. editor.&#160;Popescu, Andrei. editor. (orcid)0000-0001-8747-0619&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-29026-9">https://doi.org/10.1007/978-3-030-29026-9</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Logic and Its Applications 8th Indian Conference, ICLA 2019, Delhi, India, March 1-5, 2019, Proceedings ent://SD_ILS/0/SD_ILS:482979 2024-09-07T13:50:00Z 2024-09-07T13:50:00Z Author&#160;Khan, Md. Aquil. editor.&#160;Manuel, Amaldev. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-58771-3">https://doi.org/10.1007/978-3-662-58771-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Foundations of Software Science and Computation Structures 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6&ndash;11, 2019, Proceedings ent://SD_ILS/0/SD_ILS:483052 2024-09-07T13:50:00Z 2024-09-07T13:50:00Z Author&#160;Boja&#324;czyk, Miko&#322;aj. editor.&#160;Simpson, Alex. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-17127-8">https://doi.org/10.1007/978-3-030-17127-8</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Principles and Practice of Constraint Programming 25th International Conference, CP 2019, Stamford, CT, USA, September 30 &ndash; October 4, 2019, Proceedings ent://SD_ILS/0/SD_ILS:486336 2024-09-07T13:50:00Z 2024-09-07T13:50:00Z Author&#160;Schiex, Thomas. editor. (orcid)0000-0001-6049-3415&#160;de Givry, Simon. editor. (orcid)0000-0002-2242-0458&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-30048-7">https://doi.org/10.1007/978-3-030-30048-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Integrated Uncertainty in Knowledge Modelling and Decision Making 7th International Symposium, IUKM 2019, Nara, Japan, March 27&ndash;29, 2019, Proceedings ent://SD_ILS/0/SD_ILS:486946 2024-09-07T13:50:00Z 2024-09-07T13:50:00Z Author&#160;Seki, Hirosato. editor.&#160;Nguyen, Canh Hao. editor.&#160;Huynh, Van-Nam. editor.&#160;Inuiguchi, Masahiro. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-030-14815-7">https://doi.org/10.1007/978-3-030-14815-7</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>