Search Results for Reasoning. - Narrowed by: Machine theory.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dReasoning.$0026qf$003dSUBJECT$002509Subject$002509Machine$002btheory.$002509Machine$002btheory.$0026ic$003dtrue$0026ps$003d300?dt=list
2026-03-25T20:04:23Z
Description Logics in Multimedia Reasoning
ent://SD_ILS/0/SD_ILS:614574
2026-03-25T20:04:23Z
2026-03-25T20:04:23Z
Author Sikos, Leslie F. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-54066-5">https://doi.org/10.1007/978-3-319-54066-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Symbolic and Quantitative Approaches to Reasoning with Uncertainty 18th European Conference, ECSQARU 2025, Hagen, Germany, September 23-26, 2025, Proceedings
ent://SD_ILS/0/SD_ILS:610538
2026-03-25T20:04:23Z
2026-03-25T20:04:23Z
Author Sauerwald, Kai. editor. (orcid)0000-0002-1551-7016 Thimm, Matthias. editor. (orcid)0000-0002-8157-1053 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-032-05134-9">https://doi.org/10.1007/978-3-032-05134-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automated Reasoning 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part I
ent://SD_ILS/0/SD_ILS:604145
2026-03-25T20:04:23Z
2026-03-25T20:04:23Z
Author Benzmüller, Christoph. editor. (orcid)0000-0002-3392-3093 Heule, Marijn J.H. editor. (orcid)0000-0002-5587-8801 Schmidt, Renate A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-63498-7">https://doi.org/10.1007/978-3-031-63498-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automated Reasoning 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part II
ent://SD_ILS/0/SD_ILS:604146
2026-03-25T20:04:23Z
2026-03-25T20:04:23Z
Author Benzmüller, Christoph. editor. (orcid)0000-0002-3392-3093 Heule, Marijn J.H. editor. (orcid)0000-0002-5587-8801 Schmidt, Renate A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-63501-4">https://doi.org/10.1007/978-3-031-63501-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Symbolic and Quantitative Approaches to Reasoning with Uncertainty 17th European Conference, ECSQARU 2023, Arras, France, September 19-22, 2023, Proceedings
ent://SD_ILS/0/SD_ILS:601983
2026-03-25T20:04:23Z
2026-03-25T20:04:23Z
Author Bouraoui, Zied. editor. Vesic, Srdjan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-45608-4">https://doi.org/10.1007/978-3-031-45608-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Reasoning Web: Logical Foundation of Knowledge Graph Construction and Query Answering 12th International Summer School 2016, Aberdeen, UK, September 5-9, 2016, Tutorial Lectures
ent://SD_ILS/0/SD_ILS:610686
2026-03-25T20:04:23Z
2026-03-25T20:04:23Z
Author Pan, Jeff Z. editor. Calvanese, Diego. editor. Eiter, Thomas. editor. Horrocks, Ian. editor. Kifer, Michael. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-49493-7">https://doi.org/10.1007/978-3-319-49493-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Rules and Reasoning International Joint Conference, RuleML+RR 2017, London, UK, July 12-15, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:613621
2026-03-25T20:04:23Z
2026-03-25T20:04:23Z
Author Costantini, Stefania. editor. Franconi, Enrico. editor. Van Woensel, William. editor. Kontchakov, Roman. editor. Sadri, Fariba. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-61252-2">https://doi.org/10.1007/978-3-319-61252-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Symbolic and Quantitative Approaches to Reasoning with Uncertainty 14th European Conference, ECSQARU 2017, Lugano, Switzerland, July 10-14, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:618348
2026-03-25T20:04:23Z
2026-03-25T20:04:23Z
Author Antonucci, Alessandro. editor. Cholvy, Laurence. editor. Papini, Odile. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-61581-3">https://doi.org/10.1007/978-3-319-61581-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic Programming and Nonmonotonic Reasoning 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616289
2026-03-25T20:04:23Z
2026-03-25T20:04:23Z
Author Balduccini, Marcello. editor. Janhunen, Tomi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-61660-5">https://doi.org/10.1007/978-3-319-61660-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automated Reasoning with Analytic Tableaux and Related Methods 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25-28, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616211
2026-03-25T20:04:23Z
2026-03-25T20:04:23Z
Author Schmidt, Renate A. editor. Nalon, Cláudia. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-66902-1">https://doi.org/10.1007/978-3-319-66902-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Reasoning Web. Semantic Interoperability on the Web 13th International Summer School 2017, London, UK, July 7-11, 2017, Tutorial Lectures
ent://SD_ILS/0/SD_ILS:618335
2026-03-25T20:04:23Z
2026-03-25T20:04:23Z
Author Ianni, Giovambattista. editor. Lembo, Domenico. editor. Bertossi, Leopoldo. editor. (orcid)0000-0002-1144-3179 Faber, Wolfgang. editor. Glimm, Birte. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-61033-7">https://doi.org/10.1007/978-3-319-61033-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Web Reasoning and Rule Systems 10th International Conference, RR 2016, Aberdeen, UK, September 9-11, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:612113
2026-03-25T20:04:23Z
2026-03-25T20:04:23Z
Author Ortiz, Magdalena. editor. Schlobach, Stefan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-45276-0">https://doi.org/10.1007/978-3-319-45276-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Probability Logics Probability-Based Formalization of Uncertain Reasoning
ent://SD_ILS/0/SD_ILS:613079
2026-03-25T20:04:23Z
2026-03-25T20:04:23Z
Author Ognjanović, Zoran. author. Rašković, Miodrag. author. Marković, Zoran. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-47012-2">https://doi.org/10.1007/978-3-319-47012-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Subjective Logic A Formalism for Reasoning Under Uncertainty
ent://SD_ILS/0/SD_ILS:615866
2026-03-25T20:04:23Z
2026-03-25T20:04:23Z
Author Jøsang, Audun. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-42337-1">https://doi.org/10.1007/978-3-319-42337-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Automated Reasoning 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:613275
2026-03-25T20:04:23Z
2026-03-25T20:04:23Z
Author Olivetti, Nicola. editor. Tiwari, Ashish. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-40229-1">https://doi.org/10.1007/978-3-319-40229-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Human and Artificial Rationalities. Advances in Cognition, Computation, and Consciousness Third International Conference, HAR 2024, Paris, France, September 17-20, 2024, Proceedings
ent://SD_ILS/0/SD_ILS:607767
2026-03-25T20:04:23Z
2026-03-25T20:04:23Z
Author Baratgin, Jean. editor. (orcid)0000-0001-9566-486X Jacquet, Baptiste. editor. (orcid)0000-0001-5310-2789 Brochier, Emmanuel. editor. (orcid)0000-0002-9153-562X Yama, Hiroshi. editor. (orcid)0000-0003-1612-3550 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-84595-6">https://doi.org/10.1007/978-3-031-84595-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic and Argumentation 6th International Conference, CLAR 2025, Taiyuan, China, June 14-16, 2025, Proceedings
ent://SD_ILS/0/SD_ILS:608885
2026-03-25T20:04:23Z
2026-03-25T20:04:23Z
Author Ågotnes, Thomas. editor. (orcid)0000-0003-4151-8028 Doder, Dragan. editor. (orcid)0000-0003-0067-3654 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-981-96-7956-0">https://doi.org/10.1007/978-981-96-7956-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Inductive Logic Programming 31st International Conference, ILP 2022, Windsor Great Park, UK, September 28-30, 2022, Proceedings
ent://SD_ILS/0/SD_ILS:602942
2026-03-25T20:04:23Z
2026-03-25T20:04:23Z
Author Muggleton, Stephen H. editor. (orcid)0000-0001-6061-6104 Tamaddoni-Nezhad, Alireza. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-55630-2">https://doi.org/10.1007/978-3-031-55630-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Programming-Based Formal Languages and Automata Theory Design, Implement, Validate, and Prove
ent://SD_ILS/0/SD_ILS:602163
2026-03-25T20:04:23Z
2026-03-25T20:04:23Z
Author Morazán, Marco T. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-031-43973-5">https://doi.org/10.1007/978-3-031-43973-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
AI*IA 2017 Advances in Artificial Intelligence XVIth International Conference of the Italian Association for Artificial Intelligence, Bari, Italy, November 14-17, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:613058
2026-03-25T20:04:23Z
2026-03-25T20:04:23Z
Author Esposito, Floriana. editor. Basili, Roberto. editor. (orcid)0000-0001-5140-0694 Ferilli, Stefano. editor. Lisi, Francesca A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-70169-1">https://doi.org/10.1007/978-3-319-70169-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Numerical Software Verification 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:613619
2026-03-25T20:04:23Z
2026-03-25T20:04:23Z
Author Bogomolov, Sergiy. editor. Martel, Matthieu. editor. Prabhakar, Pavithra. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-54292-8">https://doi.org/10.1007/978-3-319-54292-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Knowledge Engineering and Semantic Web 8th International Conference, KESW 2017, Szczecin, Poland, November 8-10, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:613300
2026-03-25T20:04:23Z
2026-03-25T20:04:23Z
Author Różewski, Przemysław. editor. Lange, Christoph. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-69548-8">https://doi.org/10.1007/978-3-319-69548-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Semantic Technology 7th Joint International Conference, JIST 2017, Gold Coast, QLD, Australia, November 10-12, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:613306
2026-03-25T20:04:23Z
2026-03-25T20:04:23Z
Author Wang, Zhe. editor. Turhan, Anni-Yasmin. editor. (orcid)0000-0001-6336-335X Wang, Kewen. editor. Zhang, Xiaowang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-70682-5">https://doi.org/10.1007/978-3-319-70682-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
KI 2017: Advances in Artificial Intelligence 40th Annual German Conference on AI, Dortmund, Germany, September 25-29, 2017, Proceedings.
ent://SD_ILS/0/SD_ILS:616022
2026-03-25T20:04:23Z
2026-03-25T20:04:23Z
Author Kern-Isberner, Gabriele. editor. Fürnkranz, Johannes. editor. (orcid)0000-0002-1207-0159 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-67190-1">https://doi.org/10.1007/978-3-319-67190-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic, Rationality, and Interaction 6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616078
2026-03-25T20:04:23Z
2026-03-25T20:04:23Z
Author Baltag, Alexandru. editor. Seligman, Jeremy. editor. Yamada, Tomoyuki. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-55665-8">https://doi.org/10.1007/978-3-662-55665-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Numerical Software Verification 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616183
2026-03-25T20:04:23Z
2026-03-25T20:04:23Z
Author Abate, Alessandro. editor. (orcid)0000-0002-5627-9093 Boldo, Sylvie. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-63501-9">https://doi.org/10.1007/978-3-319-63501-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Intelligent Computer Mathematics 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings
ent://SD_ILS/0/SD_ILS:616233
2026-03-25T20:04:23Z
2026-03-25T20:04:23Z
Author Geuvers, Herman. editor. England, Matthew. editor. Hasan, Osman. editor. Rabe, Florian. editor. Teschke, Olaf. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-62075-6">https://doi.org/10.1007/978-3-319-62075-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Designing Reliable Distributed Systems A Formal Methods Approach Based on Executable Modeling in Maude
ent://SD_ILS/0/SD_ILS:617461
2026-03-25T20:04:23Z
2026-03-25T20:04:23Z
Author Ölveczky, Peter Csaba. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-1-4471-6687-0">https://doi.org/10.1007/978-1-4471-6687-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Knowledge Engineering and Knowledge Management EKAW 2016 Satellite Events, EKM and Drift-an-LOD, Bologna, Italy, November 19-23, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:617717
2026-03-25T20:04:23Z
2026-03-25T20:04:23Z
Author Ciancarini, Paolo. editor. (orcid)0000-0002-7958-9924 Poggi, Francesco. editor. (orcid)0000-0001-6577-5606 Horridge, Matthew. editor. Zhao, Jun. editor. Groza, Tudor. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-58694-6">https://doi.org/10.1007/978-3-319-58694-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Trustworthy Global Computing 10th International Symposium, TGC 2015 Madrid, Spain, August 31 - September 1, 2015 Revised Selected Papers
ent://SD_ILS/0/SD_ILS:611115
2026-03-25T20:04:23Z
2026-03-25T20:04:23Z
Author Ganty, Pierre. editor. (orcid)0000-0002-3625-6003 Loreti, Michele. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-28766-9">https://doi.org/10.1007/978-3-319-28766-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Engineering for Resilient Systems 8th International Workshop, SERENE 2016, Gothenburg, Sweden, September 5-6, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:612727
2026-03-25T20:04:23Z
2026-03-25T20:04:23Z
Author Crnkovic, Ivica. editor. Troubitsyna, Elena. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-45892-2">https://doi.org/10.1007/978-3-319-45892-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Semantic Technology 6th Joint International Conference, JIST 2016, Singapore, Singapore, November 2-4, 2016, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:611992
2026-03-25T20:04:23Z
2026-03-25T20:04:23Z
Author Li, Yuan-Fang. editor. Hu, Wei. editor. Dong, Jin Song. editor. Antoniou, Grigoris. editor. Wang, Zhe. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-50112-3">https://doi.org/10.1007/978-3-319-50112-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Computer Science - Theory and Applications 11th International Computer Science Symposium in Russia, CSR 2016, St. Petersburg, Russia, June 9-13, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:612310
2026-03-25T20:04:23Z
2026-03-25T20:04:23Z
Author Kulikov, Alexander S. editor. Woeginger, Gerhard J. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-34171-2">https://doi.org/10.1007/978-3-319-34171-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logics in Artificial Intelligence 15th European Conference, JELIA 2016, Larnaca, Cyprus, November 9-11, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:613372
2026-03-25T20:04:23Z
2026-03-25T20:04:23Z
Author Michael, Loizos. editor. Kakas, Antonis. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-48758-8">https://doi.org/10.1007/978-3-319-48758-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Foundations of Information and Knowledge Systems 9th International Symposium, FoIKS 2016, Linz, Austria, March 7-11, 2016. Proceedings
ent://SD_ILS/0/SD_ILS:610793
2026-03-25T20:04:23Z
2026-03-25T20:04:23Z
Author Gyssens, Marc. editor. Simari, Guillermo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-30024-5">https://doi.org/10.1007/978-3-319-30024-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
A New Perspective on Nonmonotonic Logics
ent://SD_ILS/0/SD_ILS:613763
2026-03-25T20:04:23Z
2026-03-25T20:04:23Z
Author Gabbay, Dov M. author. Schlechta, Karl. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-46817-4">https://doi.org/10.1007/978-3-319-46817-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Semantic Technology 5th Joint International Conference, JIST 2015, Yichang, China, November 11-13, 2015, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:617543
2026-03-25T20:04:23Z
2026-03-25T20:04:23Z
Author Qi, Guilin. editor. Kozaki, Kouji. editor. Pan, Jeff Z. editor. Yu, Siwei. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-31676-5">https://doi.org/10.1007/978-3-319-31676-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logic, Language, Information, and Computation 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings
ent://SD_ILS/0/SD_ILS:616246
2026-03-25T20:04:23Z
2026-03-25T20:04:23Z
Author Väänänen, Jouko. editor. Hirvonen, Åsa. editor. de Queiroz, Ruy. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-52921-8">https://doi.org/10.1007/978-3-662-52921-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Scalable Uncertainty Management 10th International Conference, SUM 2016, Nice, France, September 21-23, 2016, Proceedings
ent://SD_ILS/0/SD_ILS:616941
2026-03-25T20:04:23Z
2026-03-25T20:04:23Z
Author Schockaert, Steven. editor. Senellart, Pierre. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-45856-4">https://doi.org/10.1007/978-3-319-45856-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Logical Foundations of Computer Science International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings
ent://SD_ILS/0/SD_ILS:617182
2026-03-25T20:04:23Z
2026-03-25T20:04:23Z
Author Artemov, Sergei. editor. Nerode, Anil. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-27683-0">https://doi.org/10.1007/978-3-319-27683-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Paradoxes in scientific inference
ent://SD_ILS/0/SD_ILS:545163
2026-03-25T20:04:23Z
2026-03-25T20:04:23Z
Author Chang, Mark., author.<br/>Preferred Shelf Number Q175 .C43 2013<br/>Electronic Access <a href="https://www.taylorfrancis.com/books/9781466509870">Click here to view.</a><br/>Format: Books<br/>Availability Online Library~1<br/>