Arama Sonuçları Reasoning. - Daraltılmış: SpringerLink (Online service)

Methods of legal reasoning

2024-12-26T08:49:54Z

Yazar Stelmach, Jerzy. Brozek, Bartosz. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/1-4020-4939-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Visual Reasoning with Diagrams

2024-12-26T08:49:54Z

Yazar Moktefi, Amirouche. editor. Shin, Sun-Joo. editor. SpringerLink (Online service)
Yer Numarası ONLINE(332637.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-0348-0600-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Reasoning about Preference Dynamics

2024-12-26T08:49:54Z

Yazar Liu, Fenrong. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-94-007-1344-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Constitutionalism and Legal Reasoning

2024-12-26T08:49:54Z

Yazar Torre, Massimo La. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4020-5595-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Case-Based Approximate Reasoning

2024-12-26T08:49:54Z

Yazar Hüllermeier, Eyke. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/1-4020-5695-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Robots, Reasoning, and Reification

2024-12-26T08:49:54Z

Yazar Gunderson, James P. author. Gunderson, Louise F. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-0-387-87488-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Neural-Symbolic Cognitive Reasoning

2024-12-26T08:49:54Z

Yazar d’Avila Garcez, Artur S. author. Lamb, Luís C. author. Gabbay, Dov M. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-73246-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Neuro Symbolic Reasoning and Learning

2024-12-26T08:49:54Z

Yazar Shakarian, Paulo. author. Baral, Chitta. author. Simari, Gerardo I. author. Xi, Bowen. author. Pokala, Lahari. author.
Yer Numarası XX(520609.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-39179-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Handbook of Parallel Constraint Reasoning

2024-12-26T08:49:54Z

Yazar Hamadi, Youssef. editor. Sais, Lakhdar. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-63516-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Linked Data Storing, Querying, and Reasoning

2024-12-26T08:49:54Z

Yazar Sakr, Sherif. author. Wylot, Marcin. author. Mutharaju, Raghava. author. Le Phuoc, Danh. author. Fundulaki, Irini. author.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-73515-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Successful Case-based Reasoning Applications-2

2024-12-26T08:49:54Z

Yazar Montani, Stefania. editor. Jain, Lakhmi C. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-642-38736-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Case-Based Reasoning A Textbook

2024-12-26T08:49:54Z

Yazar Richter, Michael M. author. Weber, Rosina O. author. SpringerLink (Online service)
Yer Numarası ONLINE(334902.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40167-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Decentralized Reasoning in Ambient Intelligence

2024-12-26T08:49:54Z

Yazar Viterbo, José. author. Endler, Markus. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4471-4168-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Reasoning in Event-Based Distributed Systems

2024-12-26T08:49:54Z

Yazar Helmer, Sven. editor. Poulovassilis, Alexandra. editor. Xhafa, Fatos. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-19724-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Cognitive Reasoning A Formal Approach

2024-12-26T08:49:54Z

Yazar Gergely, Tamás. author. Anshakov, Oleg M. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-68875-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Successful Case-based Reasoning Applications - I

2024-12-26T08:49:54Z

Yazar Montani, Stefania. editor. Jain, Lakhmi C. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-14078-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Foundations of Reasoning under Uncertainty

2024-12-26T08:49:54Z

Yazar Bouchon-Meunier, Bernadette. editor. Magdalena, Luis. editor. Ojeda-Aciego, Manuel. editor. Verdegay, José-Luis. editor. Yager, Ronald R. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-10728-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Modelling and Reasoning with Vague Concepts

2024-12-26T08:49:54Z

Yazar Lawry, Jonathan. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/0-387-30262-X
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Automated Reasoning for Systems Biology and Medicine

2024-12-26T08:49:54Z

Yazar Liò, Pietro. editor. Zuliani, Paolo. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-17297-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Workflow Modeling Assistance by Case-based Reasoning

2024-12-26T08:49:54Z

Yazar Müller, Gilbert. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-658-23559-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Approaches to Analogical Reasoning: Current Trends

2024-12-26T08:49:54Z

Yazar Prade, Henri. editor. Richard, Gilles. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-642-54516-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

A General Framework for Reasoning On Inconsistency

2024-12-26T08:49:54Z

Yazar Martinez, Maria Vanina. author. Molinaro, Cristian. author. Subrahmanian, V.S. author. Amgoud, Leila. author. SpringerLink (Online service)
Yer Numarası ONLINE(332107.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4614-6750-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Domain-Level Reasoning for Spoken Dialogue Systems

2024-12-26T08:49:54Z

Yazar Bühler, Dirk. author. Minker, Wolfgang. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4419-9728-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Teaching Mathematical Reasoning in Secondary School Classrooms

2024-12-26T08:49:54Z

Yazar Brodie, Karin. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-0-387-09742-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Case-Based Reasoning on Images and Signals

2024-12-26T08:49:54Z

Yazar Perner, Petra. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-73180-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Constraint Satisfaction Techniques for Agent-Based Reasoning

2024-12-26T08:49:54Z

Yazar Neagu, Nicoleta. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b137139
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Visualization, Explanation and Reasoning Styles in Mathematics

2024-12-26T08:49:54Z

Yazar Mancosu, Paolo. editor. Jørgensen, Klaus Frovin. editor. Pedersen, Stig Andur. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/1-4020-3335-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Case-Based Reasoning Research and Development 31st International Conference, ICCBR 2023, Aberdeen, UK, July 17-20, 2023, Proceedings

2024-12-26T08:49:54Z

Yazar Massie, Stewart. editor. Chakraborti, Sutanu. editor. SpringerLink (Online service)
Yer Numarası XX(521060.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-40177-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Reasoning Web. Causality, Explanations and Declarative Knowledge 18th International Summer School 2022, Berlin, Germany, September 27-30, 2022, Tutorial Lectures

2024-12-26T08:49:54Z

Yazar Bertossi, Leopoldo. editor. Xiao, Guohui. editor. SpringerLink (Online service)
Yer Numarası XX(521291.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-31414-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Simple Type Theory A Practical Logic for Expressing and Reasoning About Mathematical Ideas

2024-12-26T08:49:54Z

Yazar Farmer, William M. author. SpringerLink (Online service)
Yer Numarası XX(520259.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-21112-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Rules and Reasoning 7th International Joint Conference, RuleML+RR 2023, Oslo, Norway, September 18-20, 2023, Proceedings

2024-12-26T08:49:54Z

Yazar Fensel, Anna. editor. Ozaki, Ana. editor. Roman, Dumitru. editor. Soylu, Ahmet. editor. SpringerLink (Online service)
Yer Numarası XX(521244.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-45072-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Graph-Based Representation and Reasoning 28th International Conference on Conceptual Structures, ICCS 2023, Berlin, Germany, September 11-13, 2023, Proceedings

2024-12-26T08:49:54Z

Yazar Ojeda-Aciego, Manuel. editor. Sauerwald, Kai. editor. Jäschke, Robert. editor. SpringerLink (Online service)
Yer Numarası XX(521072.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-40960-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Automated Reasoning with Analytic Tableaux and Related Methods 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings

2024-12-26T08:49:54Z

Yazar Ramanayake, Revantha. editor. Urban, Josef. editor. SpringerLink (Online service)
Yer Numarası XX(521139.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-43513-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Clinical Reasoning and Evidence-Based Practice Deliberate Decision-Making by Nurses

2024-12-26T08:49:54Z

Yazar Dobber, Jos. author. Harmsen, José. author. van Iersel, Margriet. author. SpringerLink (Online service)
Yer Numarası XX(521939.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-27069-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Autonomous Cyber Deception Reasoning, Adaptive Planning, and Evaluation of HoneyThings

2024-12-26T08:49:54Z

Yazar Al-Shaer, Ehab. editor. Wei, Jinpeng. editor. (orcid)0000-0002-6982-7386 Hamlen, Kevin W. editor. Wang, Cliff. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-02110-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Case-Based Reasoning Research and Development 27th International Conference, ICCBR 2019, Otzenhausen, Germany, September 8–12, 2019, Proceedings

2024-12-26T08:49:54Z

Yazar Bach, Kerstin. editor. (orcid)0000-0002-4256-7676 Marling, Cindy. editor. (orcid)0000-0002-4155-5155 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-29249-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Rules and Reasoning Third International Joint Conference, RuleML+RR 2019, Bolzano, Italy, September 16–19, 2019, Proceedings

2024-12-26T08:49:54Z

Yazar Fodor, Paul. editor. (orcid)0000-0002-2978-676X Montali, Marco. editor. (orcid)0000-0002-8021-3430 Calvanese, Diego. editor. (orcid)0000-0001-5174-9693 Roman, Dumitru. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-31095-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic Programming and Nonmonotonic Reasoning 15th International Conference, LPNMR 2019, Philadelphia, PA, USA, June 3-7, 2019, Proceedings

2024-12-26T08:49:54Z

Yazar Balduccini, Marcello. editor. (orcid)0000-0001-5445-3054 Lierler, Yuliya. editor. (orcid)0000-0002-6146-623X Woltran, Stefan. editor. (orcid)0000-0003-1594-8972 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-20528-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Foundations of Security, Protocols, and Equational Reasoning Essays Dedicated to Catherine A. Meadows

2024-12-26T08:49:54Z

Yazar Guttman, Joshua D. editor. Landwehr, Carl E. editor. Meseguer, José. editor. Pavlovic, Dusko. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-19052-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Automated Reasoning with Analytic Tableaux and Related Methods 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings

2024-12-26T08:49:54Z

Yazar Cerrito, Serenella. editor. Popescu, Andrei. editor. (orcid)0000-0001-8747-0619 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-29026-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Symbolic and Quantitative Approaches to Reasoning with Uncertainty 15th European Conference, ECSQARU 2019, Belgrade, Serbia, September 18-20, 2019, Proceedings

2024-12-26T08:49:54Z

Yazar Kern-Isberner, Gabriele. editor. (orcid)0000-0001-8689-5391 Ognjanović, Zoran. editor. (orcid)0000-0003-2508-6480 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-29765-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Reasoning Web. Explainable Artificial Intelligence 15th International Summer School 2019, Bolzano, Italy, September 20–24, 2019, Tutorial Lectures

2024-12-26T08:49:54Z

Yazar Krötzsch, Markus. editor. (orcid)0000-0002-9172-2601 Stepanova, Daria. editor. (orcid)0000-0001-8654-5121 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-31423-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Adversarial and Uncertain Reasoning for Adaptive Cyber Defense Control- and Game-Theoretic Approaches to Cyber Security

2024-12-26T08:49:54Z

Yazar Jajodia, Sushil. editor. (orcid)0000-0003-3210-558X Cybenko, George. editor. Liu, Peng. editor. Wang, Cliff. editor. Wellman, Michael. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-30719-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Graph-Based Representation and Reasoning 24th International Conference on Conceptual Structures, ICCS 2019, Marburg, Germany, July 1–4, 2019, Proceedings

2024-12-26T08:49:54Z

Yazar Endres, Dominik. editor. (orcid)0000-0001-9756-9655 Alam, Mehwish. editor. (orcid)0000-0002-7867-6612 Şotropa, Diana. editor. (orcid)0000-0003-4403-9946 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-23182-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Rules and Reasoning Second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18–21, 2018, Proceedings

2024-12-26T08:49:54Z

Yazar Benzmüller, Christoph. editor. (orcid)0000-0002-3392-3093 Ricca, Francesco. editor. Parent, Xavier. editor. Roman, Dumitru. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-99906-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Case-Based Reasoning Research and Development 26th International Conference, ICCBR 2018, Stockholm, Sweden, July 9-12, 2018, Proceedings

2024-12-26T08:49:54Z

Yazar Cox, Michael T. editor. Funk, Peter. editor. (orcid)0000-0002-5562-1424 Begum, Shahina. editor. (orcid)0000-0002-1212-7637 SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-01081-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Reasoning Web. Learning, Uncertainty, Streaming, and Scalability 14th International Summer School 2018, Esch-sur-Alzette, Luxembourg, September 22–26, 2018, Tutorial Lectures

2024-12-26T08:49:54Z

Yazar d’Amato, Claudia. editor. Theobald, Martin. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-030-00338-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Graph-Based Representation and Reasoning 23rd International Conference on Conceptual Structures, ICCS 2018, Edinburgh, UK, June 20-22, 2018, Proceedings

2024-12-26T08:49:54Z

Yazar Chapman, Peter. editor. (orcid)0000-0002-5524-5780 Endres, Dominik. editor. (orcid)0000-0001-9756-9655 Pernelle, Nathalie. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-91379-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Reasoning with Rough Sets Logical Approaches to Granularity-Based Framework

2024-12-26T08:49:54Z

Yazar Akama, Seiki. author. Murai, Tetsuya. author. Kudo, Yasuo. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-72691-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Automated Reasoning 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings

2024-12-26T08:49:54Z

Yazar Galmiche, Didier. editor. Schulz, Stephan. editor. Sebastiani, Roberto. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-94205-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Graph Structures for Knowledge Representation and Reasoning 5th International Workshop, GKR 2017, Melbourne, VIC, Australia, August 21, 2017, Revised Selected Papers

2024-12-26T08:49:54Z

Yazar Croitoru, Madalina. editor. Marquis, Pierre. editor. Rudolph, Sebastian. editor. (orcid)0000-0002-1609-2080 Stapleton, Gem. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-78102-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Reasoning Web. Web Logic Rules 11th International Summer School 2015, Berlin, Germany, July 31- August 4, 2015, Tutorial Lectures.

2024-12-26T08:49:54Z

Yazar Faber, Wolfgang. editor. Paschke, Adrian. editor. SpringerLink (Online service)
Yer Numarası XX(518822.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-21768-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Automated Reasoning with Analytic Tableaux and Related Methods 24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings

2024-12-26T08:49:54Z

Yazar De Nivelle, Hans. editor. SpringerLink (Online service)
Yer Numarası XX(518971.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-24312-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Web Reasoning and Rule Systems 9th International Conference, RR 2015, Berlin, Germany, August 4-5, 2015, Proceedings.

2024-12-26T08:49:54Z

Yazar ten Cate, Balder. editor. Mileo, Alessandra. editor. SpringerLink (Online service)
Yer Numarası XX(519157.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-22002-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Models of Strategic Reasoning Logics, Games, and Communities

2024-12-26T08:49:54Z

Yazar van Benthem, Johan. editor. Ghosh, Sujata. editor. Verbrugge, Rineke. editor. SpringerLink (Online service)
Yer Numarası XX(519080.1)
Elektronik Erişim https://doi.org/10.1007/978-3-662-48540-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic for Programming, Artificial Intelligence, and Reasoning 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings

2024-12-26T08:49:54Z

Yazar Davis, Martin. editor. Fehnker, Ansgar. editor. McIver, Annabelle. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Yer Numarası XX(519103.1)
Elektronik Erişim https://doi.org/10.1007/978-3-662-48899-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Reasoning and Public Health: New Ways of Coping with Uncertainty

2024-12-26T08:49:54Z

Yazar Cummings, Louise. author. SpringerLink (Online service)
Yer Numarası XX(519555.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-15013-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Case-Based Reasoning Research and Development 23rd International Conference, ICCBR 2015, Frankfurt am Main, Germany, September 28-30, 2015. Proceedings

2024-12-26T08:49:54Z

Yazar Hüllermeier, Eyke. editor. Minor, Mirjam. editor. SpringerLink (Online service)
Yer Numarası XX(518774.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-24586-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Symbolic and Quantitative Approaches to Reasoning with Uncertainty 13th European Conference, ECSQARU 2015, Compiègne, France, July 15-17, 2015. Proceedings

2024-12-26T08:49:54Z

Yazar Destercke, Sébastien. editor. Denoeux, Thierry. editor. SpringerLink (Online service)
Yer Numarası XX(519113.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-20807-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Graph Structures for Knowledge Representation and Reasoning 4th International Workshop, GKR 2015, Buenos Aires, Argentina, July 25, 2015, Revised Selected Papers

2024-12-26T08:49:54Z

Yazar Croitoru, Madalina. editor. Marquis, Pierre. editor. Rudolph, Sebastian. editor. Stapleton, Gem. editor. SpringerLink (Online service)
Yer Numarası XX(518979.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-28702-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic Programming and Nonmonotonic Reasoning 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings

2024-12-26T08:49:54Z

Yazar Calimeri, Francesco. editor. Ianni, Giovambattista. editor. Truszczynski, Miroslaw. editor. SpringerLink (Online service)
Yer Numarası XX(519293.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-23264-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Natural and Artificial Reasoning An Exploration of Modelling Human Thinking

2024-12-26T08:49:54Z

Yazar Addis, Tom. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-11286-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Graph-Based Representation and Reasoning 21st International Conference on Conceptual Structures, ICCS 2014, Iaşi, Romania, July 27-30, 2014, Proceedings

2024-12-26T08:49:54Z

Yazar Hernandez, Nathalie. editor. Jäschke, Robert. editor. Croitoru, Madalina. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-08389-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Web Reasoning and Rule Systems 8th International Conference, RR 2014, Athens, Greece, September 15-17, 2014. Proceedings

2024-12-26T08:49:54Z

Yazar Kontchakov, Roman. editor. Mugnier, Marie-Laure. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-11113-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Graph Structures for Knowledge Representation and Reasoning Third International Workshop, GKR 2013, Beijing, China, August 3, 2013. Revised Selected Papers

2024-12-26T08:49:54Z

Yazar Croitoru, Madalina. editor. Rudolph, Sebastian. editor. Woltran, Stefan. editor. (orcid)0000-0003-1594-8972 Gonzales, Christophe. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-04534-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Automated Reasoning 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, Proceedings

2024-12-26T08:49:54Z

Yazar Demri, Stéphane. editor. Kapur, Deepak. editor. Weidenbach, Christoph. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-08587-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Reasoning Web. Reasoning and the Web in the Big Data Era 10th International Summer School 2014, Athens, Greece, September 8-13, 2014. Proceedings

2024-12-26T08:49:54Z

Yazar Koubarakis, Manolis. editor. Stamou, Giorgos. editor. Stoilos, Giorgos. editor. Horrocks, Ian. editor. Kolaitis, Phokion. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-10587-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Uncertainty Reasoning for the Semantic Web III ISWC International Workshops, URSW 2011-2013, Revised Selected Papers

2024-12-26T08:49:54Z

Yazar Bobillo, Fernando. editor. Carvalho, Rommel N. editor. Costa, Paulo C.G. editor. d'Amato, Claudia. editor. Fanizzi, Nicola. editor.
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-13413-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Case-Based Reasoning Research and Development 22nd International Conference, ICCBR 2014, Cork, Ireland, September 29, 2014 - October 1, 2014. Proceedings

2024-12-26T08:49:54Z

Yazar Lamontagne, Luc. editor. Plaza, Enric. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim https://doi.org/10.1007/978-3-319-11209-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Geometric Modeling and Reasoning of Human-Centered Freeform Products

2024-12-26T08:49:54Z

Yazar Wang, Charlie C. L. author. SpringerLink (Online service)
Yer Numarası ONLINE(330961.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4471-4360-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Uncertainty Reasoning for the Semantic Web II International Workshops URSW 2008-2010 Held at ISWC and UniDL 2010 Held at FLoC, Revised Selected Papers

2024-12-26T08:49:54Z

Yazar Bobillo, Fernando. editor. Costa, Paulo C. G. editor. d’Amato, Claudia. editor. Fanizzi, Nicola. editor. Laskey, Kathryn B. editor.
Yer Numarası ONLINE(334092.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-35975-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Automated Reasoning and Mathematics Essays in Memory of William W. McCune

2024-12-26T08:49:54Z

Yazar Bonacina, Maria Paola. editor. Stickel, Mark E. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334264.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-36675-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings

2024-12-26T08:49:54Z

Yazar McMillan, Ken. editor. Middeldorp, Aart. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Yer Numarası ONLINE(335196.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-45221-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Case-Based Reasoning Research and Development 21st International Conference, ICCBR 2013, Saratoga Springs, NY, USA, July 8-11, 2013. Proceedings

2024-12-26T08:49:54Z

Yazar Delany, Sarah Jane. editor. Ontañón, Santiago. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334719.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39056-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Symbolic and Quantitative Approaches to Reasoning with Uncertainty 12th European Conference, ECSQARU 2013, Utrecht, The Netherlands, July 8-10, 2013. Proceedings

2024-12-26T08:49:54Z

Yazar Gaag, Linda C. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334728.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39091-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Web Reasoning and Rule Systems 7th International Conference, RR 2013, Mannheim, Germany, July 27-29, 2013. Proceedings

2024-12-26T08:49:54Z

Yazar Faber, Wolfgang. editor. Lembo, Domenico. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334832.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39666-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Reasoning Web. Semantic Technologies for Intelligent Data Access 9th International Summer School 2013, Mannheim, Germany, July 30 – August 2, 2013. Proceedings

2024-12-26T08:49:54Z

Yazar Rudolph, Sebastian. editor. Gottlob, Georg. editor. Horrocks, Ian. editor. Harmelen, Frank. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334848.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-39784-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Automated Reasoning with Analytic Tableaux and Related Methods 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings

2024-12-26T08:49:54Z

Yazar Galmiche, Didier. editor. Larchey-Wendling, Dominique. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334962.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40537-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic Programming and Nonmonotonic Reasoning 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings

2024-12-26T08:49:54Z

Yazar Cabalar, Pedro. editor. Son, Tran Cao. editor. SpringerLink (Online service)
Yer Numarası ONLINE(334969.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-40564-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Reasoning-Based Image Processing Intelligent Systems Conventional and Intelligent Paradigms

2024-12-26T08:49:54Z

Yazar Kountchev, Roumen. editor. Nakamatsu, Kazumi. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-24693-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic for Programming, Artificial Intelligence, and Reasoning 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings

2024-12-26T08:49:54Z

Yazar Bjørner, Nikolaj. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-28717-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Graph Structures for Knowledge Representation and Reasoning Second International Workshop, GKR 2011, Barcelona, Spain, July 16, 2011. Revised Selected Papers

2024-12-26T08:49:54Z

Yazar Croitoru, Madalina. editor. Rudolph, Sebastian. editor. Wilson, Nic. editor. Howse, John. editor. Corby, Olivier. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-29449-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Correct Reasoning Essays on Logic-Based AI in Honour of Vladimir Lifschitz

2024-12-26T08:49:54Z

Yazar Erdem, Esra. editor. Lee, Joohyung. editor. Lierler, Yuliya. editor. Pearce, David. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-30743-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Automated Reasoning 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings

2024-12-26T08:49:54Z

Yazar Gramlich, Bernhard. editor. Miller, Dale. editor. Sattler, Uli. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-31365-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Web Reasoning and Rule Systems 6th International Conference, RR 2012, Vienna, Austria, September 10-12, 2012. Proceedings

2024-12-26T08:49:54Z

Yazar Krötzsch, Markus. editor. Straccia, Umberto. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-33203-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Case-Based Reasoning Research and Development 20th International Conference, ICCBR 2012, Lyon, France, September 3-6, 2012. Proceedings

2024-12-26T08:49:54Z

Yazar Agudo, Belén Díaz. editor. Watson, Ian. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-32986-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Reasoning Web. Semantic Technologies for Advanced Query Answering 8th International Summer School 2012, Vienna, Austria, September 3-8, 2012. Proceedings

2024-12-26T08:49:54Z

Yazar Eiter, Thomas. editor. Krennwallner, Thomas. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-33158-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

What’s So Good About Biodiversity? A Call for Better Reasoning About Nature’s Value

2024-12-26T08:49:54Z

Yazar Maier, Donald S. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-94-007-3991-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday

2024-12-26T08:49:54Z

Yazar Balduccini, Marcello. editor. Son, Tran Cao. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-20832-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Approximate Reasoning by Parts An Introduction to Rough Mereology

2024-12-26T08:49:54Z

Yazar Polkowski, Lech. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-22279-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Ontologiegestütztes Case-Based Reasoning Entwicklung und Beurteilung semantischer Ähnlichkeitsindikatoren für die Wiederverwendung natürlichsprachlich repräsentierten Projektwissens

2024-12-26T08:49:54Z

Yazar Beißel, Stefan. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-8349-6232-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic Programming and Nonmonotonic Reasoning 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011. Proceedings

2024-12-26T08:49:54Z

Yazar Delgrande, James P. editor. Faber, Wolfgang. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-20895-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Rule-Based Reasoning, Programming, and Applications 5th International Symposium, RuleML 2011 – Europe, Barcelona, Spain, July 19-21, 2011. Proceedings

2024-12-26T08:49:54Z

Yazar Bassiliades, Nick. editor. Governatori, Guido. editor. Paschke, Adrian. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-22546-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

A Hybrid Deliberative Layer for Robotic Agents Fusing DL Reasoning with HTN Planning in Autonomous Robots

2024-12-26T08:49:54Z

Yazar Hartanto, Ronny. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-22580-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Reasoning Web. Semantic Technologies for the Web of Data 7th International Summer School 2011, Galway, Ireland, August 23-27, 2011, Tutorial Lectures

2024-12-26T08:49:54Z

Yazar Polleres, Axel. editor. d’Amato, Claudia. editor. Arenas, Marcelo. editor. Handschuh, Siegfried. editor. Kroner, Paula. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-23032-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Case-Based Reasoning Research and Development 19th International Conference on Case-Based Reasoning, ICCBR 2011, London, UK, September 12-15, 2011. Proceedings

2024-12-26T08:49:54Z

Yazar Ram, Ashwin. editor. Wiratunga, Nirmalie. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-23291-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Web Reasoning and Rule Systems 5th International Conference, RR 2011, Galway, Ireland, August 29-30, 2011. Proceedings

2024-12-26T08:49:54Z

Yazar Rudolph, Sebastian. editor. Gutierrez, Claudio. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-23580-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Real-World Reasoning: Toward Scalable, Uncertain Spatiotemporal, Contextual and Causal Inference

2024-12-26T08:49:54Z

Yazar Goertzel, Ben. author. Geisweiller, Nil. author. Coelho, Lucio. author. Janičić, Predrag. author. Pennachin, Cassio. author.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.2991/978-94-91216-11-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Automated Reasoning with Analytic Tableaux and Related Methods 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011. Proceedings

2024-12-26T08:49:54Z

Yazar Brünnler, Kai. editor. Metcalfe, George. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-22119-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Symbolic and Quantitative Approaches to Reasoning with Uncertainty 11th European Conference, ECSQARU 2011, Belfast, UK, June 29–July 1, 2011. Proceedings

2024-12-26T08:49:54Z

Yazar Liu, Weiru. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-22152-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Combinatorics and Reasoning Representing, Justifying and Building Isomorphisms

2024-12-26T08:49:54Z

Yazar Maher, Carolyn A. editor. Powell, Arthur B. editor. Uptegrove, Elizabeth B. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-94-007-0615-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus,March 27-28, 2010. Revised Selected Papers

2024-12-26T08:49:54Z

Yazar Armando, Alessandro. editor. Lowe, Gavin. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-16074-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Hierarchical Voronoi Graphs Spatial Representation and Reasoning for Mobile Robots

2024-12-26T08:49:54Z

Yazar Wallgrün, Jan Oliver. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-10345-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Automated Reasoning 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings

2024-12-26T08:49:54Z

Yazar Giesl, Jürgen. editor. Hähnle, Reiner. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-14203-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Case-Based Reasoning. Research and Development 18th International Conference on Case-Based Reasoning, ICCBR 2010, Alessandria, Italy, July 19-22, 2010. Proceedings

2024-12-26T08:49:54Z

Yazar Bichindaritz, Isabelle. editor. Montani, Stefania. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-14274-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Conceptual Graphs and Fuzzy Logic A Fusion for Representing and Reasoning with Linguistic Information

2024-12-26T08:49:54Z

Yazar Cao, Tru Hoang. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-14087-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Rethinking the BSE Crisis A Study of Scientific Reasoning under Uncertainty

2024-12-26T08:49:54Z

Yazar Cummings, Louise. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-90-481-9504-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Combinatorics and Reasoning Representing, Justifying and Building Isomorphisms

2024-12-26T08:49:54Z

Yazar Maher, Carolyn A. editor. Powell, Arthur B. editor. Uptegrove, Elizabeth B. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-0-387-98132-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Model-Based Reasoning in Science and Technology Abduction, Logic, and Computational Discovery

2024-12-26T08:49:54Z

Yazar Magnani, Lorenzo. editor. Carnielli, Walter. editor. Pizzi, Claudio. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-15223-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Reasoning Web. Semantic Technologies for Software Engineering 6th International Summer School 2010, Dresden, Germany, August 30 - September 3, 2010. Tutorial Lectures

2024-12-26T08:49:54Z

Yazar Aßmann, Uwe. editor. Bartho, Andreas. editor. Wende, Christian. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-15543-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Web Reasoning and Rule Systems Fourth International Conference, RR 2010, Bressanone/Brixen, Italy, September 22-24, 2010. Proceedings

2024-12-26T08:49:54Z

Yazar Hitzler, Pascal. editor. Lukasiewicz, Thomas. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-15918-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic for Programming, Artificial Intelligence, and Reasoning 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings

2024-12-26T08:49:54Z

Yazar Fermüller, Christian G. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-16242-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic for Programming, Artificial Intelligence, and Reasoning 16th International Conference, LPAR-16, Dakar, Senegal, April 25–May 1, 2010, Revised Selected Papers

2024-12-26T08:49:54Z

Yazar Clarke, Edmund M. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-17511-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Foundations of Computational Intelligence Volume 2 Approximate Reasoning

2024-12-26T08:49:54Z

Yazar Hassanien, Aboul-Ella. editor. Abraham, Ajith. editor. Herrera, Francisco. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-01533-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Case-Based Reasoning Research and Development 8th International Conference on Case-Based Reasoning, ICCBR 2009 Seattle, WA, USA, July 20-23, 2009 Proceedings

2024-12-26T08:49:54Z

Yazar McGinty, Lorraine. editor. Wilson, David C. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-02998-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Symbolic and Quantitative Approaches to Reasoning with Uncertainty 10th European Conference, ECSQARU 2009, Verona, Italy, July 1-3, 2009. Proceedings

2024-12-26T08:49:54Z

Yazar Sossai, Claudio. editor. Chemello, Gaetano. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-02906-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Abductive Cognition The Epistemological and Eco-Cognitive Dimensions of Hypothetical Reasoning

2024-12-26T08:49:54Z

Yazar Magnani, Lorenzo. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-03631-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic Programming and Nonmonotonic Reasoning 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings

2024-12-26T08:49:54Z

Yazar Erdem, Esra. editor. Lin, Fangzhen. editor. Schaub, Torsten. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-04238-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Web Reasoning and Rule Systems Third International Conference, RR 2009, Chantilly, VA, USA, October 25-26, 2009, Proceedings

2024-12-26T08:49:54Z

Yazar Polleres, Axel. editor. Swift, Terrance. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-05082-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Defending Copernicus and Galileo Critical Reasoning in the Two Affairs

2024-12-26T08:49:54Z

Yazar Finocchiaro, Maurice A. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-90-481-3201-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Fuzziness and Approximate Reasoning Epistemics on Uncertainty, Expectation and Risk in Rational Behavior

2024-12-26T08:49:54Z

Yazar Dompere, Kofi Kissi. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-88087-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Automated Reasoning with Analytic Tableaux and Related Methods 18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009. Proceedings

2024-12-26T08:49:54Z

Yazar Giese, Martin. editor. Waaler, Arild. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-02716-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Foundations and Applications of Security Analysis Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, UK, March 28-29, 2009, Revised Selected Papers

2024-12-26T08:49:54Z

Yazar Degano, Pierpaolo. editor. Viganò, Luca. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-03459-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Reasoning Web. Semantic Technologies for Information Systems 5th International Summer School 2009, Brixen-Bressanone, Italy, August 30 - September 4, 2009, Tutorial Lectures

2024-12-26T08:49:54Z

Yazar Tessaris, Sergio. editor. Franconi, Enrico. editor. Eiter, Thomas. editor. Gutierrez, Claudio. editor. Handschuh, Siegfried. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-642-03754-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Case-Based Reasoning 9th European Conference, ECCBR 2008, Trier, Germany, September 1-4, 2008. Proceedings

2024-12-26T08:49:54Z

Yazar Althoff, Klaus-Dieter. editor. Bergmann, Ralph. editor. Minor, Mirjam. editor. Hanft, Alexandre. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-85502-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Reasoning Web 4th International Summer School 2008, Venice, Italy, September 7-11, 2008, Tutorial Lectures

2024-12-26T08:49:54Z

Yazar Baroglio, Cristina. editor. Bonatti, Piero A. editor. Małuszyński, Jan. editor. Marchiori, Massimo. editor. Polleres, Axel. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-85658-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic for Programming, Artificial Intelligence, and Reasoning 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings

2024-12-26T08:49:54Z

Yazar Cervesato, Iliano. editor. Veith, Helmut. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-89439-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Uncertainty Reasoning for the Semantic Web I ISWC International Workshops, URSW 2005-2007, Revised Selected and Invited Papers

2024-12-26T08:49:54Z

Yazar Costa, Paulo Cesar G. editor. d’Amato, Claudia. editor. Fanizzi, Nicola. editor. Laskey, Kathryn B. editor. Laskey, Kenneth J. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-89765-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Balanced Scorecard und Ursache-Wirkungsbeziehungen Kausale Modellierung und Simulation mithilfe von Methoden des Qualitative Reasoning

2024-12-26T08:49:54Z

Yazar Hügens, Torben. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-8349-8171-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Developing Students’ Statistical Reasoning Connecting Research and Teaching Practice

2024-12-26T08:49:54Z

Yazar Garfield, Joan B. author. Ben-Zvi, Dani. author. Chance, Beth. author. Medina, Elsa. author. Roseth, Cary. author.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4020-8383-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Spatial Representation and Reasoning for Robot Mapping A Shape-Based Approach

2024-12-26T08:49:54Z

Yazar Wolter, Diedrich. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-69012-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Automated Reasoning 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 Proceedings

2024-12-26T08:49:54Z

Yazar Armando, Alessandro. editor. Baumgartner, Peter. editor. Dowek, Gilles. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-71070-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Spatial Cognition VI. Learning, Reasoning, and Talking about Space International Conference Spatial Cognition 2008, Freiburg, Germany, September 15-19, 2008. Proceedings

2024-12-26T08:49:54Z

Yazar Freksa, Christian. editor. Newcombe, Nora S. editor. Gärdenfors, Peter. editor. Wölfl, Stefan. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-87601-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Web Reasoning and Rule Systems Second International Conference, RR 2008, Karlsruhe, Germany, October 31-November 1, 2008. Proceedings

2024-12-26T08:49:54Z

Yazar Calvanese, Diego. editor. Lausen, Georg. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-88737-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Rule Representation, Interchange and Reasoning on the Web International Symposium, RuleML 2008, Orlando, FL, USA, October 30-31, 2008. Proceedings

2024-12-26T08:49:54Z

Yazar Bassiliades, Nick. editor. Governatori, Guido. editor. Paschke, Adrian. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-88808-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Analysis and Synthesis of Logics How to Cut and Paste Reasoning Systems

2024-12-26T08:49:54Z

Yazar Carnielli, Walter. author. Coniglio, Marcelo. author. Gabbay, Dov M. author. Gouveia, Paula. author. Sernadas, Cristina. author.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-1-4020-6782-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Conceptual Structures: Knowledge Visualization and Reasoning 16th International Conference on Conceptual Structures, ICCS 2008 Toulouse, France, July 7-11, 2008 Proceedings

2024-12-26T08:49:54Z

Yazar Eklund, Peter. editor. Haemmerlé, Ollivier. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-70596-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Probabilistic Reasoning and Decision Making in Sensory-Motor Systems

2024-12-26T08:49:54Z

Yazar Bessière, Pierre. editor. Laugier, Christian. editor. Siegwart, Roland. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-79007-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Web Reasoning and Rule Systems First International Conference, RR 2007, Innsbruck , Austria, June 7-8, 2007. Proceedings

2024-12-26T08:49:54Z

Yazar Marchiori, Massimo. editor. Pan, Jeff Z. editor. Marie, Christian de Sainte. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-72982-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Automated Reasoning with Analytic Tableaux and Related Methods 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007. Proceedings

2024-12-26T08:49:54Z

Yazar Olivetti, Nicola. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-73099-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Reasoning Web Third International Summer School 2007, Dresden, Germany, September 3-7, 2007, Tutorial Lectures

2024-12-26T08:49:54Z

Yazar Antoniou, Grigoris. editor. Aßmann, Uwe. editor. Baroglio, Cristina. editor. Decker, Stefan. editor. Henze, Nicola. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-74615-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Annotating, Extracting and Reasoning about Time and Events International Seminar, Dagstuhl Castle, Germany, April 10-15, 2005. Revised Papers

2024-12-26T08:49:54Z

Yazar Schilder, Frank. editor. Katz, Graham. editor. Pustejovsky, James. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-75989-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Model-Based Reasoning in Science, Technology, and Medicine

2024-12-26T08:49:54Z

Yazar Kacprzyk, Janusz. editor. Magnani, Lorenzo. editor. Li, Ping. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-71986-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic Programming and Nonmonotonic Reasoning 9th International Conference, LPNMR 2007, Tempe, AZ, USA, May 15-17, 2007. Proceedings

2024-12-26T08:49:54Z

Yazar Baral, Chitta. editor. Brewka, Gerhard. editor. Schlipf, John. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-72200-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Case-Based Reasoning Research and Development 7th International Conference on Case-Based Reasoning, ICCBR 2007 Belfast, Northern Ireland, UK, August 13-16, 2007 Proceedings

2024-12-26T08:49:54Z

Yazar Weber, Rosina O. editor. Richter, Michael M. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-74141-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Symbolic and Quantitative Approaches to Reasoning with Uncertainty 9th European Conference, ECSQARU 2007, Hammamet, Tunisia, October 31 - November 2, 2007. Proceedings

2024-12-26T08:49:54Z

Yazar Mellouli, Khaled. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-75256-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic for Programming, Artificial Intelligence, and Reasoning 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007. Proceedings

2024-12-26T08:49:54Z

Yazar Dershowitz, Nachum. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-75560-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Spatial Cognition V Reasoning, Action, Interaction International Conference Spatial Cognition 2006, Bremen, Germany, September 24-28, 2006, Revised Selected Papers

2024-12-26T08:49:54Z

Yazar Barkowsky, Thomas. editor. Knauff, Markus. editor. Ligozat, Gérard. editor. Montello, Daniel R. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-3-540-75666-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Automated Reasoning Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings

2024-12-26T08:49:54Z

Yazar Furbach, Ulrich. editor. Shankar, Natarajan. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11814771
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Reasoning, Action and Interaction in AI Theories and Systems Essays Dedicated to Luigia Carlucci Aiello

2024-12-26T08:49:54Z

Yazar Stock, Oliviero. editor. Schaerf, Marco. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11829263
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006. Proceedings

2024-12-26T08:49:54Z

Yazar Hermann, Miki. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11916277
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Consistent Preferences Approach to Deductive Reasoning in Games

2024-12-26T08:49:54Z

Yazar Asheim, Geir B. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-0-387-26237-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

ABDUCTIVE REASONING LOGICAL INVESTIGATIONS INTO DISCOVERY AND EXPLANATION

2024-12-26T08:49:54Z

Yazar ALISEDA, ATOCHA. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/1-4020-3907-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Statistical Reasoning in Medicine The Intuitive P-Value Primer

2024-12-26T08:49:54Z

Yazar Moyé, Lemuel A. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/978-0-387-46212-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Case-Based Reasoning 8th European Conference, ECCBR 2006 Fethiye, Turkey, September 4-7, 2006 Proceedings

2024-12-26T08:49:54Z

Yazar Roth-Berghofer, Thomas R. editor. Göker, Mehmet H. editor. Güvenir, H. Altay. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11805816
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Reasoning Web Second International Summer School 2006, Lisbon, Portugal, September 4-8, 2006, Tutorial Lectures

2024-12-26T08:49:54Z

Yazar Barahona, Pedro. editor. Bry, François. editor. Franconi, Enrico. editor. Henze, Nicola. editor. Sattler, Ulrike. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11837787
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Principles and Practice of Semantic Web Reasoning 4th International Workshop, PPSWR 2006, Budva, Montenegro, June 10-11, 2006, Revised Selected Papers

2024-12-26T08:49:54Z

Yazar Alferes, Jóse Júlio. editor. Bailey, James. editor. May, Wolfgang. editor. Schwertel, Uta. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11853107
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Principles and Practice of Semantic Web Reasoning Third International Workshop, PPSWR 2005, Dagstuhl Castle, Germany, September 11-16, 2005 Proceedings

2024-12-26T08:49:54Z

Yazar Fages, François. editor. Soliman, Sylvain. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11552222
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic for Programming, Artificial Intelligence, and Reasoning 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005. Proceedings

2024-12-26T08:49:54Z

Yazar Baader, Franz. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b106931
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Symbolic and Quantitative Approaches to Reasoning with Uncertainty 8th European Conference, ECSQARU 2005, Barcelona, Spain, July 6-8, 2005. Proceedings

2024-12-26T08:49:54Z

Yazar Godo, Lluís. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b138862
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Spatial Cognition IV. Reasoning, Action, Interaction International Conference Spatial Cognition 2004, Frauenchiemsee, Germany, October 11-13, 2004, Revised Selected Papers

2024-12-26T08:49:54Z

Yazar Freksa, Christian. editor. Knauff, Markus. editor. Krieg-Brückner, Bernd. editor. Nebel, Bernhard. editor. Barkowsky, Thomas. editor.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b106616
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic for Programming, Artificial Intelligence, and Reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005. Proceedings

2024-12-26T08:49:54Z

Yazar Sutcliffe, Geoff. editor. Voronkov, Andrei. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11591191
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Reasoning Web First International Summer School 2005, Msida, Malta, July 25-29, 2005, Revised Lectures

2024-12-26T08:49:54Z

Yazar Eisinger, Norbert. editor. Małuszyński, Jan. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11526988
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Reasoning Robots The Art and Science of Programming Robotic Agents

2024-12-26T08:49:54Z

Yazar Thielscher, Michael. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/1-4020-3069-X
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Interdisciplinary Public Health Reasoning and Epidemic Modelling: The Case of Black Death

2024-12-26T08:49:54Z

Yazar Christakos, George. author. Olea, Ricardo A. author. Serre, Marc L. author. Yu, Hwa-Lung. author. Wang, Lin-Lin. author.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/3-540-28165-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Challenge of Developing Statistical Literacy, Reasoning and Thinking

2024-12-26T08:49:54Z

Yazar Ben-Zvi, Dani. editor. Garfield, Joan. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/1-4020-2278-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Automating Business Modelling A Guide to Using Logic to Represent Informal Methods and Support Reasoning

2024-12-26T08:49:54Z

Yazar Chen-Burger, Yun-Heh. author. Robertson, Dave. author. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b138799
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Automated Reasoning with Analytic Tableaux and Related Methods 14th International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005. Proceedings

2024-12-26T08:49:54Z

Yazar Beckert, Bernhard. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11554554
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic Programming and Nonmonotonic Reasoning 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005. Proceedings

2024-12-26T08:49:54Z

Yazar Baral, Chitta. editor. Greco, Gianluigi. editor. Leone, Nicola. editor. Terracina, Giorgio. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11546207
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Case-Based Reasoning Research and Development 6th International Conference on Case-Based Reasoning, ICCBR 2005, Chicago, IL, USA, August 23-26, 2005. Proceedings

2024-12-26T08:49:54Z

Yazar Muñoz-Ávila, Héctor. editor. Ricci, Francesco. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/11536406
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Mechanizing Mathematical Reasoning Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday

2024-12-26T08:49:54Z

Yazar Hutter, Dieter. editor. Stephan, Werner. editor. SpringerLink (Online service)
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.1007/b106663
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Rethinking Logic: Logic in Relation to Mathematics, Evolution, and Method

2024-12-26T08:49:54Z

Yazar Cellucci, Carlo. author. SpringerLink (Online service)
Yer Numarası ONLINE(336157.1)
Elektronik Erişim http://dx.doi.org/10.1007/978-94-007-6091-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Emerging Networking Architecture and Technologies First International Conference, ICENAT 2022, Shenzhen, China, November 15-17, 2022, Proceedings

2024-12-26T08:49:54Z

Yazar Quan, Wei. editor. SpringerLink (Online service)
Yer Numarası XX(520200.1)
Elektronik Erişim https://doi.org/10.1007/978-981-19-9697-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Artificial Intelligence and Cognitive Science 30th Irish Conference, AICS 2022, Munster, Ireland, December 8-9, 2022, Revised Selected Papers

2024-12-26T08:49:54Z

Yazar Longo, Luca. editor. (orcid) O'Reilly, Ruairi. editor. SpringerLink (Online service)
Yer Numarası XX(520281.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-26438-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Artificial Intelligence in China Proceedings of the 4th International Conference on Artificial Intelligence in China

2024-12-26T08:49:54Z

Yazar Liang, Qilian. editor. Wang, Wei. editor. Mu, Jiasong. editor. Liu, Xin. editor. Na, Zhenyu. editor.
Yer Numarası XX(520310.1)
Elektronik Erişim https://doi.org/10.1007/978-981-99-1256-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Deep Cognitive Networks Enhance Deep Learning by Modeling Human Cognitive Mechanism

2024-12-26T08:49:54Z

Yazar Huang, Yan. author. Wang, Liang. author. SpringerLink (Online service)
Yer Numarası XX(520396.1)
Elektronik Erişim https://doi.org/10.1007/978-981-99-0279-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Neural Information Processing 29th International Conference, ICONIP 2022, Virtual Event, November 22-26, 2022, Proceedings, Part VI

2024-12-26T08:49:54Z

Yazar Tanveer, Mohammad. editor. Agarwal, Sonali. editor. Ozawa, Seiichi. editor. Ekbal, Asif. editor. Jatowt, Adam. editor.
Yer Numarası XX(520403.1)
Elektronik Erişim https://doi.org/10.1007/978-981-99-1645-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Neural Information Processing 29th International Conference, ICONIP 2022, Virtual Event, November 22-26, 2022, Proceedings, Part IV

2024-12-26T08:49:54Z

Yazar Tanveer, Mohammad. editor. Agarwal, Sonali. editor. Ozawa, Seiichi. editor. Ekbal, Asif. editor. Jatowt, Adam. editor.
Yer Numarası XX(520404.1)
Elektronik Erişim https://doi.org/10.1007/978-981-99-1639-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic, Language, Information, and Computation 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11-14, 2023, Proceedings

2024-12-26T08:49:54Z

Yazar Hansen, Helle Hvid. editor. Scedrov, Andre. editor. de Queiroz, Ruy J.G.B. editor. (orcid) SpringerLink (Online service)
Yer Numarası XX(520880.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-39784-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

PRIMA 2022: Principles and Practice of Multi-Agent Systems 24th International Conference, Valencia, Spain, November 16-18, 2022, Proceedings

2024-12-26T08:49:54Z

Yazar Aydoğan, Reyhan. editor. Criado, Natalia. editor. Lang, Jérôme. editor. Sanchez-Anguix, Victor. editor. Serramia, Marc. editor.
Yer Numarası XX(520784.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-21203-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Practical Aspects of Declarative Languages 25th International Symposium, PADL 2023, Boston, MA, USA, January 16-17, 2023, Proceedings

2024-12-26T08:49:54Z

Yazar Hanus, Michael. editor. Inclezan, Daniela. editor. SpringerLink (Online service)
Yer Numarası XX(520788.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-24841-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Enterprise Design, Operations, and Computing. EDOC 2022 Workshops IDAMS, SoEA4EE, TEAR, EDOC Forum, Demonstrations Track and Doctoral Consortium, Bozen-Bolzano, Italy, October 4-7, 2022, Revised Selected Papers

2024-12-26T08:49:54Z

Yazar Sales, Tiago Prince. editor. Proper, Henderik A. editor. Guizzardi, Giancarlo. editor. (orcid) Montali, Marco. editor. Maggi, Fabrizio Maria. editor.
Yer Numarası XX(520663.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-26886-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Artificial Intelligence for Communications and Networks 4th EAI International Conference, AICON 2022, Hiroshima, Japan, November 30 - December 1, 2022, Proceedings

2024-12-26T08:49:54Z

Yazar Kambayashi, Yasushi. editor. Nguyen, Ngoc Thanh. editor. Chen, Shu-Heng. editor. Dini, Petre. editor. Takimoto, Munehiro. editor.
Yer Numarası XX(520668.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-29126-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Service-Oriented Computing 17th Symposium and Summer School, SummerSOC 2023, Heraklion, Crete, Greece, June 25 - July 1, 2023, Revised Selected Papers

2024-12-26T08:49:54Z

Yazar Aiello, Marco. editor. Barzen, Johanna. editor. Dustdar, Schahram. editor. Leymann, Frank. editor. SpringerLink (Online service)
Yer Numarası XX(520703.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-45728-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Knowledge Graph and Semantic Computing: Knowledge Graph Empowers Artificial General Intelligence 8th China Conference, CCKS 2023, Shenyang, China, August 24-27, 2023, Revised Selected Papers

2024-12-26T08:49:54Z

Yazar Wang, Haofen. editor. Han, Xianpei. editor. Liu, Ming. editor. Cheng, Gong. editor. Liu, Yongbin. editor.
Yer Numarası XX(520721.1)
Elektronik Erişim https://doi.org/10.1007/978-981-99-7224-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Information Retrieval 45th European Conference on Information Retrieval, ECIR 2023, Dublin, Ireland, April 2-6, 2023, Proceedings, Part III

2024-12-26T08:49:54Z

Yazar Kamps, Jaap. editor. Goeuriot, Lorraine. editor. Crestani, Fabio. editor. Maistro, Maria. editor. Joho, Hideo. editor. (orcid)
Yer Numarası XX(521287.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-28241-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Artificial General Intelligence 16th International Conference, AGI 2023, Stockholm, Sweden, June 16-19, 2023, Proceedings

2024-12-26T08:49:54Z

Yazar Hammer, Patrick. editor. Alirezaie, Marjan. editor. Strannegård, Claes. editor. SpringerLink (Online service)
Yer Numarası XX(521296.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-33469-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Artificial Intelligence XL 43rd SGAI International Conference on Artificial Intelligence, AI 2023, Cambridge, UK, December 12-14, 2023, Proceedings

2024-12-26T08:49:54Z

Yazar Bramer, Max. editor. Stahl, Frederic. editor. SpringerLink (Online service)
Yer Numarası XX(521322.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-47994-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advanced Concepts for Intelligent Vision Systems 21st International Conference, ACIVS 2023 Kumamoto, Japan, August 21-23, 2023 Proceedings

2024-12-26T08:49:54Z

Yazar Blanc-Talon, Jaques. editor. Delmas, Patrice. editor. Philips, Wilfried. editor. Scheunders, Paul. editor. SpringerLink (Online service)
Yer Numarası XX(521326.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-45382-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Vision and Image Processing 7th International Conference, CVIP 2022, Nagpur, India, November 4-6, 2022, Revised Selected Papers, Part II

2024-12-26T08:49:54Z

Yazar Gupta, Deep. editor. Bhurchandi, Kishor. editor. Murala, Subrahmanyam. editor. Raman, Balasubramanian. editor. Kumar, Sanjeev. editor.
Yer Numarası XX(520239.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-31417-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Information Systems 19th European, Mediterranean, and Middle Eastern Conference, EMCIS 2022, Virtual Event, December 21-22, 2022, Proceedings

2024-12-26T08:49:54Z

Yazar Papadaki, Maria. editor. Rupino da Cunha, Paulo. editor. Themistocleous, Marinos. editor. Christodoulou, Klitos. editor. SpringerLink (Online service)
Yer Numarası XX(520571.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-30694-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Handbook of Dynamic Data Driven Applications Systems Volume 2

2024-12-26T08:49:54Z

Yazar Darema, Frederica. editor. Blasch, Erik P. editor. Ravela, Sai. editor. Aved, Alex J. editor. SpringerLink (Online service)
Yer Numarası XX(520614.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-27986-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Knowledge Science, Engineering and Management 16th International Conference, KSEM 2023, Guangzhou, China, August 16-18, 2023, Proceedings, Part IV

2024-12-26T08:49:54Z

Yazar Jin, Zhi. editor. Jiang, Yuncheng. editor. Buchmann, Robert Andrei. editor. Bi, Yaxin. editor. Ghiran, Ana-Maria. editor.
Yer Numarası XX(521303.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-40292-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Hybrid Artificial Intelligent Systems 18th International Conference, HAIS 2023, Salamanca, Spain, September 5-7, 2023, Proceedings

2024-12-26T08:49:54Z

Yazar García Bringas, Pablo. editor. Pérez García, Hilde. editor. Martínez de Pisón, Francisco Javier. editor. Martínez Álvarez, Francisco. editor. Troncoso Lora, Alicia. editor. (orcid)
Yer Numarası XX(521307.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-40725-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Artificial Intelligence and Soft Computing 22nd International Conference, ICAISC 2023, Zakopane, Poland, June 18-22, 2023, Proceedings, Part I

2024-12-26T08:49:54Z

Yazar Rutkowski, Leszek. editor. Scherer, Rafał. editor. Korytkowski, Marcin. editor. Pedrycz, Witold. editor. Tadeusiewicz, Ryszard. editor.
Yer Numarası XX(521309.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-42505-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Medical Persuasion Understanding the Impact on Medical Argumentation

2024-12-26T08:49:54Z

Yazar Velanovich, Vic. author. SpringerLink (Online service)
Yer Numarası XX(521482.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-30371-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Tools and Algorithms for the Construction and Analysis of Systems 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, Part I

2024-12-26T08:49:54Z

Yazar Sankaranarayanan, Sriram. editor. Sharygina, Natasha. editor. SpringerLink (Online service)
Yer Numarası XX(520843.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-30823-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday

2024-12-26T08:49:54Z

Yazar Lopez-Garcia, Pedro. editor. Gallagher, John P. editor. Giacobazzi, Roberto. editor. SpringerLink (Online service)
Yer Numarası XX(520864.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-31476-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Visions of DNA Nanotechnology at 40 for the Next 40 A Tribute to Nadrian C. Seeman

2024-12-26T08:49:54Z

Yazar Jonoska, Nataša. editor. Winfree, Erik. editor. SpringerLink (Online service)
Yer Numarası XX(520483.1)
Elektronik Erişim https://doi.org/10.1007/978-981-19-9891-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advanced Data Mining and Applications 19th International Conference, ADMA 2023, Shenyang, China, August 21-23, 2023, Proceedings, Part II

2024-12-26T08:49:54Z

Yazar Yang, Xiaochun. editor. Suhartanto, Heru. editor. Wang, Guoren. editor. Wang, Bin. editor. Jiang, Jing. editor.
Yer Numarası XX(521313.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-46664-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advanced Data Mining and Applications 19th International Conference, ADMA 2023, Shenyang, China, August 21-23, 2023, Proceedings, Part IV

2024-12-26T08:49:54Z

Yazar Yang, Xiaochun. editor. Suhartanto, Heru. editor. Wang, Guoren. editor. Wang, Bin. editor. Jiang, Jing. editor.
Yer Numarası XX(521315.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-46674-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Practical Guide to Visualizing Medicine A Self-Assessment Manual

2024-12-26T08:49:54Z

Yazar Wong, Kenneth. editor. Walton, Shernaz. editor. Sudhakaran, Simi. editor. Cookson, John. editor. SpringerLink (Online service)
Yer Numarası XX(521583.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-24465-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances and Trends in Artificial Intelligence. Theory and Applications 36th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2023, Shanghai, China, July 19-22, 2023, Proceedings, Part II

2024-12-26T08:49:54Z

Yazar Fujita, Hamido. editor. (orcid) Wang, Yinglin. editor. Xiao, Yanghua. editor. Moonis, Ali. editor. SpringerLink (Online service)
Yer Numarası XX(521094.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-36822-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

HCI in Business, Government and Organizations 10th International Conference, HCIBGO 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part I

2024-12-26T08:49:54Z

Yazar Nah, Fiona. editor. Siau, Keng. editor. SpringerLink (Online service)
Yer Numarası XX(521104.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-35969-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

HCI in Business, Government and Organizations 10th International Conference, HCIBGO 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Copenhagen, Denmark, July 23-28, 2023, Proceedings, Part II

2024-12-26T08:49:54Z

Yazar Nah, Fiona. editor. Siau, Keng. editor. SpringerLink (Online service)
Yer Numarası XX(521105.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-36049-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Flexible Query Answering Systems 15th International Conference, FQAS 2023, Mallorca, Spain, September 5-7, 2023, Proceedings

2024-12-26T08:49:54Z

Yazar Larsen, Henrik Legind. editor. Martin-Bautista, Maria J. editor. Ruiz, M. Dolores. editor. Andreasen, Troels. editor. Bordogna, Gloria. editor.
Yer Numarası XX(521126.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-42935-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Multi-Agent Systems 20th European Conference, EUMAS 2023, Naples, Italy, September 14-15, 2023, Proceedings

2024-12-26T08:49:54Z

Yazar Malvone, Vadim. editor. Murano, Aniello. editor. SpringerLink (Online service)
Yer Numarası XX(521127.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-43264-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Artificial Intelligence in Healthcare Industry

2024-12-26T08:49:54Z

Yazar Talukdar, Jyotismita. author. Singh, Thipendra P. author. Barman, Basanta. author. SpringerLink (Online service)
Yer Numarası XX(520479.1)
Elektronik Erişim https://doi.org/10.1007/978-981-99-3157-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer-Aided Architectural Design. INTERCONNECTIONS: Co-computing Beyond Boundaries 20th International Conference, CAAD Futures 2023, Delft, The Netherlands, July 5-7, 2023, Selected Papers

2024-12-26T08:49:54Z

Yazar Turrin, Michela. editor. Andriotis, Charalampos. editor. Rafiee, Azarakhsh. editor. SpringerLink (Online service)
Yer Numarası XX(520482.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-37189-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Artificial General Intelligence 15th International Conference, AGI 2022, Seattle, WA, USA, August 19-22, 2022, Proceedings

2024-12-26T08:49:54Z

Yazar Goertzel, Ben. editor. Iklé, Matt. editor. Potapov, Alexey. editor. Ponomaryov, Denis. editor. SpringerLink (Online service)
Yer Numarası XX(520796.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-19907-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Knowledge Science, Engineering and Management 16th International Conference, KSEM 2023, Guangzhou, China, August 16-18, 2023, Proceedings, Part II

2024-12-26T08:49:54Z

Yazar Jin, Zhi. editor. Jiang, Yuncheng. editor. Buchmann, Robert Andrei. editor. Bi, Yaxin. editor. Ghiran, Ana-Maria. editor.
Yer Numarası XX(521061.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-40286-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Semantic Web: ESWC 2023 Satellite Events Hersonissos, Crete, Greece, May 28 - June 1, 2023, Proceedings

2024-12-26T08:49:54Z

Yazar Pesquita, Catia. editor. Skaf-Molli, Hala. editor. Efthymiou, Vasilis. editor. Kirrane, Sabrina. editor. Ngonga, Axel. editor.
Yer Numarası XX(521251.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-43458-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Image and Graphics 12th International Conference, ICIG 2023, Nanjing, China, September 22-24, 2023, Proceedings, Part IV

2024-12-26T08:49:54Z

Yazar Lu, Huchuan. editor. Ouyang, Wanli. editor. Huang, Hui. editor. Lu, Jiwen. editor. Liu, Risheng. editor.
Yer Numarası XX(521269.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-46314-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Conceptual Modeling 42nd International Conference, ER 2023, Lisbon, Portugal, November 6-9, 2023, Proceedings

2024-12-26T08:49:54Z

Yazar Almeida, João Paulo A. editor. (orcid) Borbinha, José. editor. Guizzardi, Giancarlo. editor. (orcid) Link, Sebastian. editor. Zdravkovic, Jelena. editor.
Yer Numarası XX(521271.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-47262-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Theoretical Aspects of Computing - ICTAC 2023 20th International Colloquium, Lima, Peru, December 4-8, 2023, Proceedings

2024-12-26T08:49:54Z

Yazar Ábrahám, Erika. editor. Dubslaff, Clemens. editor. Tarifa, Silvia Lizeth Tapia. editor. SpringerLink (Online service)
Yer Numarası XX(521340.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-47963-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Engineering Multi-Agent Systems 11th International Workshop, EMAS 2023, London, UK, May 29-30, 2023, Revised Selected Papers

2024-12-26T08:49:54Z

Yazar Ciortea, Andrei. editor. Dastani, Mehdi. editor. Luo, Jieting. editor. SpringerLink (Online service)
Yer Numarası XX(521346.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-48539-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Visual Computing 18th International Symposium, ISVC 2023, Lake Tahoe, NV, USA, October 16-18, 2023, Proceedings, Part I

2024-12-26T08:49:54Z

Yazar Bebis, George. editor. Ghiasi, Golnaz. editor. Fang, Yi. editor. Sharf, Andrei. editor. Dong, Yue. editor.
Yer Numarası XX(521353.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-47969-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Progress in Artificial Intelligence 22nd EPIA Conference on Artificial Intelligence, EPIA 2023, Faial Island, Azores, September 5-8, 2023, Proceedings, Part I

2024-12-26T08:49:54Z

Yazar Moniz, Nuno. editor. Vale, Zita. editor. Cascalho, José. editor. Silva, Catarina. editor. Sebastião, Raquel. editor.
Yer Numarası XX(521363.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-49008-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Teaching Professional Attitudes and Basic Clinical Skills to Medical Students A Practical Guide

2024-12-26T08:49:54Z

Yazar Benbassat, Jochanan. author. SpringerLink (Online service)
Yer Numarası XX(521639.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-26542-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Rough Sets International Joint Conference, IJCRS 2023, Krakow, Poland, October 5-8, 2023, Proceedings

2024-12-26T08:49:54Z

Yazar Campagner, Andrea. editor. Urs Lenz, Oliver. editor. Xia, Shuyin. editor. Ślęzak, Dominik. editor. Wąs, Jarosław. editor.
Yer Numarası XX(521379.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-50959-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Remediation in Medical Education A Mid-Course Correction

2024-12-26T08:49:54Z

Yazar Kalet, Adina. editor. Chou, Calvin L. editor. SpringerLink (Online service)
Yer Numarası XX(521870.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-32404-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Artificial Intelligence Logic and Applications The 3rd International Conference, AILA 2023, Changchun, China, August 5-6, 2023, Proceedings

2024-12-26T08:49:54Z

Yazar Zhang, Songmao. editor. (orcid) Zhang, Yonggang. editor. SpringerLink (Online service)
Yer Numarası XX(520731.1)
Elektronik Erişim https://doi.org/10.1007/978-981-99-7869-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Artificial Intelligence Research 4th Southern African Conference, SACAIR 2023, Muldersdrift, South Africa, December 4-8, 2023, Proceedings

2024-12-26T08:49:54Z

Yazar Pillay, Anban. editor. Jembere, Edgar. editor. J. Gerber, Aurona. editor. SpringerLink (Online service)
Yer Numarası XX(520739.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-49002-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advanced Communication and Intelligent Systems First International Conference, ICACIS 2022, Virtual Event, October 20-21, 2022, Revised Selected Papers

2024-12-26T08:49:54Z

Yazar Shaw, Rabindra Nath. editor. Paprzycki, Marcin. editor. Ghosh, Ankush. editor. (orcid) SpringerLink (Online service)
Yer Numarası XX(520756.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-25088-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Formal Methods 25th International Symposium, FM 2023, Lübeck, Germany, March 6-10, 2023, Proceedings

2024-12-26T08:49:54Z

Yazar Chechik, Marsha. editor. Katoen, Joost-Pieter. editor. Leucker, Martin. editor. SpringerLink (Online service)
Yer Numarası XX(520889.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-27481-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Artificial Intelligence Applications and Innovations 19th IFIP WG 12.5 International Conference, AIAI 2023, León, Spain, June 14-17, 2023, Proceedings, Part II

2024-12-26T08:49:54Z

Yazar Maglogiannis, Ilias. editor. (orcid) Iliadis, Lazaros. editor. (orcid) MacIntyre, John. editor. Dominguez, Manuel. editor. SpringerLink (Online service)
Yer Numarası XX(520424.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-34107-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Artificial Intelligence Applications and Innovations 19th IFIP WG 12.5 International Conference, AIAI 2023, León, Spain, June 14-17, 2023, Proceedings, Part I

2024-12-26T08:49:54Z

Yazar Maglogiannis, Ilias. editor. Iliadis, Lazaros. editor. (orcid) MacIntyre, John. editor. Dominguez, Manuel. editor. SpringerLink (Online service)
Yer Numarası XX(520425.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-34111-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Requirements Engineering: Foundation for Software Quality 29th International Working Conference, REFSQ 2023, Barcelona, Spain, April 17-20, 2023, Proceedings

2024-12-26T08:49:54Z

Yazar Ferrari, Alessio. editor. Penzenstadler, Birgit. editor. SpringerLink (Online service)
Yer Numarası XX(520927.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-29786-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Neural Information Processing 29th International Conference, ICONIP 2022, Virtual Event, November 22-26, 2022, Proceedings, Part II

2024-12-26T08:49:54Z

Yazar Tanveer, Mohammad. editor. Agarwal, Sonali. editor. Ozawa, Seiichi. editor. Ekbal, Asif. editor. Jatowt, Adam. editor.
Yer Numarası XX(520934.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-30108-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances in Knowledge Discovery and Data Mining 27th Pacific-Asia Conference on Knowledge Discovery and Data Mining, PAKDD 2023, Osaka, Japan, May 25-28, 2023, Proceedings, Part III

2024-12-26T08:49:54Z

Yazar Kashima, Hisashi. editor. Ide, Tsuyoshi. editor. Peng, Wen-Chih. editor. SpringerLink (Online service)
Yer Numarası XX(520947.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-33380-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings

2024-12-26T08:49:54Z

Yazar Pientka, Brigitte. editor. Tinelli, Cesare. editor. (orcid) SpringerLink (Online service)
Yer Numarası XX(520976.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-38499-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Intelligent Information and Database Systems 15th Asian Conference, ACIIDS 2023, Phuket, Thailand, July 24-26, 2023, Proceedings, Part I

2024-12-26T08:49:54Z

Yazar Nguyen, Ngoc Thanh. editor. Boonsang, Siridech. editor. Fujita, Hamido. editor. Hnatkowska, Bogumiła. editor. Hong, Tzung-Pei. editor. (orcid)
Yer Numarası XX(520981.1)
Elektronik Erişim https://doi.org/10.1007/978-981-99-5834-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

NASA Formal Methods 15th International Symposium, NFM 2023, Houston, TX, USA, May 16-18, 2023, Proceedings

2024-12-26T08:49:54Z

Yazar Rozier, Kristin Yvonne. editor. Chaudhuri, Swarat. editor. SpringerLink (Online service)
Yer Numarası XX(520984.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-33170-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Multi-disciplinary Trends in Artificial Intelligence 16th International Conference, MIWAI 2023, Hyderabad, India, July 21-22, 2023, Proceedings

2024-12-26T08:49:54Z

Yazar Morusupalli, Raghava. editor. Dandibhotla, Teja Santosh. editor. Atluri, Vani Vathsala. editor. Windridge, David. editor. Lingras, Pawan. editor.
Yer Numarası XX(521001.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-36402-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Theoretical Aspects of Software Engineering 17th International Symposium, TASE 2023, Bristol, UK, July 4-6, 2023, Proceedings

2024-12-26T08:49:54Z

Yazar David, Cristina. editor. Sun, Meng. editor. SpringerLink (Online service)
Yer Numarası XX(521004.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-35257-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Brain Informatics 16th International Conference, BI 2023, Hoboken, NJ, USA, August 1-3, 2023, Proceedings

2024-12-26T08:49:54Z

Yazar Liu, Feng. editor. Zhang, Yu. editor. Kuai, Hongzhi. editor. Stephen, Emily P. editor. Wang, Hongjun. editor.
Yer Numarası XX(521136.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-43075-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops ASSURE, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Toulouse, France, September 19, 2023, Proceedings

2024-12-26T08:49:54Z

Yazar Guiochet, Jérémie. editor. Tonetta, Stefano. editor. Schoitsch, Erwin. editor. Roy, Matthieu. editor. Bitsch, Friedemann. editor.
Yer Numarası XX(521137.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-40953-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

KI 2023: Advances in Artificial Intelligence 46th German Conference on AI, Berlin, Germany, September 26-29, 2023, Proceedings

2024-12-26T08:49:54Z

Yazar Seipel, Dietmar. editor. Steen, Alexander. editor. SpringerLink (Online service)
Yer Numarası XX(521154.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-42608-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Artificial Neural Networks and Machine Learning - ICANN 2023 32nd International Conference on Artificial Neural Networks, Heraklion, Crete, Greece, September 26-29, 2023, Proceedings, Part X

2024-12-26T08:49:54Z

Yazar Iliadis, Lazaros. editor. (orcid) Papaleonidas, Antonios. editor. (orcid) Angelov, Plamen. editor. Jayne, Chrisina. editor. SpringerLink (Online service)
Yer Numarası XX(521166.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-44204-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Artificial Neural Networks and Machine Learning - ICANN 2023 32nd International Conference on Artificial Neural Networks, Heraklion, Crete, Greece, September 26-29, 2023, Proceedings, Part II

2024-12-26T08:49:54Z

Yazar Iliadis, Lazaros. editor. (orcid) Papaleonidas, Antonios. editor. (orcid) Angelov, Plamen. editor. Jayne, Chrisina. editor. SpringerLink (Online service)
Yer Numarası XX(521168.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-44210-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logics in Artificial Intelligence 18th European Conference, JELIA 2023, Dresden, Germany, September 20-22, 2023, Proceedings

2024-12-26T08:49:54Z

Yazar Gaggl, Sarah. editor. Martinez, Maria Vanina. editor. (orcid) Ortiz, Magdalena. editor. SpringerLink (Online service)
Yer Numarası XX(521177.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-43619-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic and Argumentation 5th International Conference, CLAR 2023, Hangzhou, China, September 10-12, 2023, Proceedings

2024-12-26T08:49:54Z

Yazar Herzig, Andreas. editor. Luo, Jieting. editor. Pardo, Pere. editor. SpringerLink (Online service)
Yer Numarası XX(521192.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-40875-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Image Analysis and Processing - ICIAP 2023 22nd International Conference, ICIAP 2023, Udine, Italy, September 11-15, 2023, Proceedings, Part II

2024-12-26T08:49:54Z

Yazar Foresti, Gian Luca. editor. Fusiello, Andrea. editor. Hancock, Edwin. editor. SpringerLink (Online service)
Yer Numarası XX(521194.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-43153-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Database Systems for Advanced Applications. DASFAA 2023 International Workshops BDMS 2023, BDQM 2023, GDMA 2023, BundleRS 2023, Tianjin, China, April 17-20, 2023, Proceedings

2024-12-26T08:49:54Z

Yazar El Abbadi, Amr. editor. Dobbie, Gillian. editor. Feng, Zhiyong. editor. Chen, Lu. editor. Tao, Xiaohui. editor.
Yer Numarası XX(521196.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-35415-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Natural Language Processing and Chinese Computing 12th National CCF Conference, NLPCC 2023, Foshan, China, October 12-15, 2023, Proceedings, Part I

2024-12-26T08:49:54Z

Yazar Liu, Fei. editor. Duan, Nan. editor. Xu, Qingting. editor. Hong, Yu. editor. SpringerLink (Online service)
Yer Numarası XX(521222.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-44693-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Semantic Web 20th International Conference, ESWC 2023, Hersonissos, Crete, Greece, May 28-June 1, 2023, Proceedings

2024-12-26T08:49:54Z

Yazar Pesquita, Catia. editor. Jimenez-Ruiz, Ernesto. editor. McCusker, Jamie. editor. Faria, Daniel. editor. Dragoni, Mauro. editor.
Yer Numarası XX(521394.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-33455-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Prolog: The Next 50 Years

2024-12-26T08:49:54Z

Yazar Warren, David S. editor. Dahl, Veronica. editor. Eiter, Thomas. editor. Hermenegildo, Manuel V. editor. Kowalski, Robert. editor.
Yer Numarası XX(521397.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-35254-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advances and Trends in Artificial Intelligence. Theory and Applications 36th International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2023, Shanghai, China, July 19-22, 2023, Proceedings, Part I

2024-12-26T08:49:54Z

Yazar Fujita, Hamido. editor. (orcid) Wang, Yinglin. editor. Xiao, Yanghua. editor. Moonis, Ali. editor. SpringerLink (Online service)
Yer Numarası XX(521400.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-36819-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Knowledge Graphs and Semantic Web 5th Iberoamerican Conference and 4th Indo-American Conference, KGSWC 2023, Zaragoza, Spain, November 13-15, 2023, Proceedings

2024-12-26T08:49:54Z

Yazar Ortiz-Rodriguez, Fernando. editor. Villazón-Terrazas, Boris. editor. Tiwari, Sanju. editor. Bobed, Carlos. editor. SpringerLink (Online service)
Yer Numarası XX(521406.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-47745-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advanced Data Mining and Applications 19th International Conference, ADMA 2023, Shenyang, China, August 21-23, 2023, Proceedings, Part I

2024-12-26T08:49:54Z

Yazar Yang, Xiaochun. editor. Suhartanto, Heru. editor. Wang, Guoren. editor. Wang, Bin. editor. Jiang, Jing. editor.
Yer Numarası XX(521408.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-46661-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Practical Aspects of Declarative Languages 26th International Symposium, PADL 2024, London, UK, January 15-16, 2024, Proceedings

2024-12-26T08:49:54Z

Yazar Gebser, Martin. editor. Sergey, Ilya. editor. SpringerLink (Online service)
Yer Numarası XX(521411.1)
Elektronik Erişim https://doi.org/10.1007/978-3-031-52038-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Intelligence in Analog and Mixed-Signal (AMS) and Radio-Frequency (RF) Circuit Design

2024-12-26T08:49:54Z

Yazar Fakhfakh, Mourad. editor. Tlelo-Cuautle, Esteban. editor. Siarry, Patrick. editor. SpringerLink (Online service)
Yer Numarası XX(518551.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-19872-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

A Construction Manual for Robots' Ethical Systems Requirements, Methods, Implementations

2024-12-26T08:49:54Z

Yazar Trappl, Robert. editor. SpringerLink (Online service)
Yer Numarası XX(518563.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-21548-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Engineering for Collective Autonomic Systems The ASCENS Approach

2024-12-26T08:49:54Z

Yazar Wirsing, Martin. editor. Hölzl, Matthias. editor. Koch, Nora. editor. Mayer, Philip. editor. SpringerLink (Online service)
Yer Numarası XX(518784.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-16310-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Multi-Agent Systems 12th European Conference, EUMAS 2014, Prague, Czech Republic, December 18-19, 2014, Revised Selected Papers

2024-12-26T08:49:54Z

Yazar Bulling, Nils. editor. SpringerLink (Online service)
Yer Numarası XX(518814.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-17130-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Semantic Web - ISWC 2015 14th International Semantic Web Conference, Bethlehem, PA, USA, October 11-15, 2015, Proceedings, Part I

2024-12-26T08:49:54Z

Yazar Arenas, Marcelo. editor. Corcho, Oscar. editor. Simperl, Elena. editor. Strohmaier, Markus. editor. d'Aquin, Mathieu. editor.
Yer Numarası XX(518930.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-25007-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

AI*IA 2015 Advances in Artificial Intelligence XIVth International Conference of the Italian Association for Artificial Intelligence, Ferrara, Italy, September 23-25, 2015, Proceedings

2024-12-26T08:49:54Z

Yazar Gavanelli, Marco. editor. Lamma, Evelina. editor. Riguzzi, Fabrizio. editor. SpringerLink (Online service)
Yer Numarası XX(518942.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-24309-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Rule Technologies: Foundations, Tools, and Applications 9th International Symposium, RuleML 2015, Berlin, Germany, August 2-5, 2015, Proceedings

2024-12-26T08:49:54Z

Yazar Bassiliades, Nick. editor. Gottlob, Georg. editor. Sadri, Fariba. editor. Paschke, Adrian. editor. Roman, Dumitru. editor.
Yer Numarası XX(518946.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-21542-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Reversible Computation 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings

2024-12-26T08:49:54Z

Yazar Krivine, Jean. editor. Stefani, Jean-Bernard. editor. SpringerLink (Online service)
Yer Numarası XX(518953.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-20860-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Natural Language Processing and Information Systems 20th International Conference on Applications of Natural Language to Information Systems, NLDB 2015, Passau, Germany, June 17-19, 2015, Proceedings

2024-12-26T08:49:54Z

Yazar Biemann, Chris. editor. Handschuh, Siegfried. editor. Freitas, André. editor. Meziane, Farid. editor. Métais, Elisabeth. editor.
Yer Numarası XX(518958.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-19581-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Fundamental Approaches to Software Engineering 18th International Conference, FASE 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

2024-12-26T08:49:54Z

Yazar Egyed, Alexander. editor. Schaefer, Ina. editor. SpringerLink (Online service)
Yer Numarası XX(519136.1)
Elektronik Erişim https://doi.org/10.1007/978-3-662-46675-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Model and Data Engineering 5th International Conference, MEDI 2015, Rhodes, Greece, September 26-28, 2015, Proceedings

2024-12-26T08:49:54Z

Yazar Bellatreche, Ladjel. editor. Manolopoulos, Yannis. editor. SpringerLink (Online service)
Yer Numarası XX(519147.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-23781-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Foundations of Software Science and Computation Structures 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

2024-12-26T08:49:54Z

Yazar Pitts, Andrew. editor. (orcid) SpringerLink (Online service)
Yer Numarası XX(519161.1)
Elektronik Erişim https://doi.org/10.1007/978-3-662-46678-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I

2024-12-26T08:49:54Z

Yazar Kroening, Daniel. editor. Păsăreanu, Corina S. editor. SpringerLink (Online service)
Yer Numarası XX(519007.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-21690-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Requirements Engineering: Foundation for Software Quality 21st International Working Conference, REFSQ 2015, Essen, Germany, March 23-26, 2015. Proceedings

2024-12-26T08:49:54Z

Yazar Fricker, Samuel A. editor. Schneider, Kurt. editor. SpringerLink (Online service)
Yer Numarası XX(519025.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-16101-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Linguistics and Intelligent Text Processing 16th International Conference, CICLing 2015, Cairo, Egypt, April 14-20, 2015, Proceedings, Part I

2024-12-26T08:49:54Z

Yazar Gelbukh, Alexander. editor. SpringerLink (Online service)
Yer Numarası XX(519079.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-18111-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Scalable Uncertainty Management 9th International Conference, SUM 2015, Québec City, QC, Canada, September 16-18, 2015. Proceedings

2024-12-26T08:49:54Z

Yazar Beierle, Christoph. editor. Dekhtyar, Alex. editor. SpringerLink (Online service)
Yer Numarası XX(519087.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-23540-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Semantic Web: ESWC 2012 Satellite Events ESWC 2012 Satellite Events, Heraklion, Crete, Greece, May 27-31, 2012. Revised Selected Papers

2024-12-26T08:49:54Z

Yazar Simperl, Elena. editor. Norton, Barry. editor. Mladenic, Dunja. editor. Della Valle, Emanuele. editor. Fundulaki, Irini. editor.
Yer Numarası XX(519089.1)
Elektronik Erişim https://doi.org/10.1007/978-3-662-46641-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Tests and Proofs 9th International Conference, TAP 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 22-24, 2015. Proceedings

2024-12-26T08:49:54Z

Yazar Blanchette, Jasmin Christian. editor. Kosmatov, Nikolai. editor. SpringerLink (Online service)
Yer Numarası XX(519104.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-21215-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Spatial Information Theory 12th International Conference, COSIT 2015, Santa Fe, NM, USA, October 12-16, 2015, Proceedings

2024-12-26T08:49:54Z

Yazar Fabrikant, Sara Irina. editor. Raubal, Martin. editor. Bertolotto, Michela. editor. Davies, Clare. editor. Freundschuh, Scott. editor.
Yer Numarası XX(519338.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-23374-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Automata, Languages, and Programming 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II

2024-12-26T08:49:54Z

Yazar Halldórsson, Magnús M. editor. Iwama, Kazuo. editor. Kobayashi, Naoki. editor. Speckmann, Bettina. editor. SpringerLink (Online service)
Yer Numarası XX(519225.1)
Elektronik Erişim https://doi.org/10.1007/978-3-662-47666-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Principles of Security and Trust 4th International Conference, POST 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

2024-12-26T08:49:54Z

Yazar Focardi, Riccardo. editor. Myers, Andrew. editor. SpringerLink (Online service)
Yer Numarası XX(519227.1)
Elektronik Erişim https://doi.org/10.1007/978-3-662-46666-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

International Handbook of Occupational Therapy Interventions

2024-12-26T08:49:54Z

Yazar Söderback, Ingrid. editor. SpringerLink (Online service)
Yer Numarası XX(519541.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-08141-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Teaching Professional Attitudes and Basic Clinical Skills to Medical Students A Practical Guide

2024-12-26T08:49:54Z

Yazar Benbassat, Jochanan. author. SpringerLink (Online service)
Yer Numarası XX(520083.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-20089-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

HCI International 2015 - Posters' Extended Abstracts International Conference, HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015. Proceedings, Part I

2024-12-26T08:49:54Z

Yazar Stephanidis, Constantine. editor. SpringerLink (Online service)
Yer Numarası XX(518483.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-21380-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Nature of Computation and Communication International Conference, ICTCC 2014, Ho Chi Minh City, Vietnam, November 24-25, 2014, Revised Selected Papers

2024-12-26T08:49:54Z

Yazar Vinh, Phan Cong. editor. Vassev, Emil. editor. Hinchey, Mike. editor. SpringerLink (Online service)
Yer Numarası XX(518529.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-15392-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

E-Voting and Identity 5th International Conference, VoteID 2015, Bern, Switzerland, September 2-4, 2015, Proceedings

2024-12-26T08:49:54Z

Yazar Haenni, Rolf. editor. Koenig, Reto E. editor. Wikström, Douglas. editor. SpringerLink (Online service)
Yer Numarası XX(518761.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-22270-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Progress in Artificial Intelligence 17th Portuguese Conference on Artificial Intelligence, EPIA 2015, Coimbra, Portugal, September 8-11, 2015. Proceedings

2024-12-26T08:49:54Z

Yazar Pereira, Francisco. editor. Machado, Penousal. editor. Costa, Ernesto. editor. Cardoso, Amílcar. editor. SpringerLink (Online service)
Yer Numarası XX(518763.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-23485-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Semantic Technology 4th Joint International Conference, JIST 2014, Chiang Mai, Thailand, November 9-11, 2014. Revised Selected Papers

2024-12-26T08:49:54Z

Yazar Supnithi, Thepchai. editor. Yamaguchi, Takahira. editor. Pan, Jeff Z. editor. Wuwongse, Vilas. editor. Buranarach, Marut. editor.
Yer Numarası XX(518833.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-15615-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Software Engineering and Formal Methods 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings

2024-12-26T08:49:54Z

Yazar Calinescu, Radu. editor. Rumpe, Bernhard. editor. SpringerLink (Online service)
Yer Numarası XX(518840.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-22969-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Knowledge Engineering and Knowledge Management EKAW 2014 Satellite Events, VISUAL, EKM1, and ARCOE-Logic, Linköping, Sweden, November 24-28, 2014. Revised Selected Papers.

2024-12-26T08:49:54Z

Yazar Lambrix, Patrick. editor. Hyvönen, Eero. editor. Blomqvist, Eva. editor. Presutti, Valentina. editor. Qi, Guilin. editor.
Yer Numarası XX(518853.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-17966-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Artificial General Intelligence 8th International Conference, AGI 2015, AGI 2015, Berlin, Germany, July 22-25, 2015, Proceedings

2024-12-26T08:49:54Z

Yazar Bieger, Jordi. editor. Goertzel, Ben. editor. Potapov, Alexey. editor. SpringerLink (Online service)
Yer Numarası XX(518878.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-21365-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Vision -- ACCV 2014 12th Asian Conference on Computer Vision, Singapore, Singapore, November 1-5, 2014, Revised Selected Papers, Part V

2024-12-26T08:49:54Z

Yazar Cremers, Daniel. editor. Reid, Ian. editor. Saito, Hideo. editor. Yang, Ming-Hsuan. editor. SpringerLink (Online service)
Yer Numarası XX(518909.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-16814-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Logic, Rationality, and Interaction 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings

2024-12-26T08:49:54Z

Yazar van der Hoek, Wiebe. editor. Holliday, Wesley H. editor. Wang, Wen-fang. editor. SpringerLink (Online service)
Yer Numarası XX(519137.1)
Elektronik Erişim https://doi.org/10.1007/978-3-662-48561-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II

2024-12-26T08:49:54Z

Yazar Kroening, Daniel. editor. Păsăreanu, Corina S. editor. SpringerLink (Online service)
Yer Numarası XX(519028.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-21668-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advanced Information Systems Engineering Workshops CAiSE 2015 International Workshops, Stockholm, Sweden, June 8-9, 2015, Proceedings

2024-12-26T08:49:54Z

Yazar Persson, Anne. editor. Stirna, Janis. editor. SpringerLink (Online service)
Yer Numarası XX(518451.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-19243-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Automated Deduction in Geometry 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers

2024-12-26T08:49:54Z

Yazar Botana, Francisco. editor. Quaresma, Pedro. editor. SpringerLink (Online service)
Yer Numarası XX(519176.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-21362-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Advanced Methodologies for Bayesian Networks Second International Workshop, AMBN 2015, Yokohama, Japan, November 16-18, 2015. Proceedings

2024-12-26T08:49:54Z

Yazar Suzuki, Joe. editor. Ueno, Maomi. editor. SpringerLink (Online service)
Yer Numarası XX(519179.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-28379-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Intelligent Information and Database Systems 7th Asian Conference, ACIIDS 2015, Bali, Indonesia, March 23-25, 2015, Proceedings, Part I

2024-12-26T08:49:54Z

Yazar Nguyen, Ngoc Thanh. editor. Trawiński, Bogdan. editor. Kosala, Raymond. editor. SpringerLink (Online service)
Yer Numarası XX(519188.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-15702-3
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Enterprise, Business-Process and Information Systems Modeling 16th International Conference, BPMDS 2015, 20th International Conference, EMMSAD 2015, Held at CAiSE 2015, Stockholm, Sweden, June 8-9, 2015, Proceedings

2024-12-26T08:49:54Z

Yazar Gaaloul, Khaled. editor. Schmidt, Rainer. editor. (orcid) Nurcan, Selmin. editor. Guerreiro, Sérgio. editor. Ma, Qin. editor.
Yer Numarası XX(518632.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-19237-6
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Information and Knowledge Management in Complex Systems 16th IFIP WG 8.1 International Conference on Informatics and Semiotics in Organisations, ICISO 2015, Toulouse, France, March 19-20, 2015, Proceedings

2024-12-26T08:49:54Z

Yazar Liu, Kecheng. editor. Nakata, Keiichi. editor. Li, Weizi. editor. Galarreta, Daniel. editor. SpringerLink (Online service)
Yer Numarası XX(518667.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-16274-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Human Face of Ambient Intelligence Cognitive, Emotional, Affective, Behavioral and Conversational Aspects

2024-12-26T08:49:54Z

Yazar Bibri, Simon Elias. author. SpringerLink (Online service)
Yer Numarası XX(518587.1)
Elektronik Erişim https://doi.org/10.2991/978-94-6239-130-7
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Creativity Research: Towards Creative Machines

2024-12-26T08:49:54Z

Yazar Besold, Tarek R. editor. Schorlemmer, Marco. editor. Smaill, Alan. editor. SpringerLink (Online service)
Yer Numarası XX(518589.1)
Elektronik Erişim https://doi.org/10.2991/978-94-6239-085-0
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Semantic Web. Latest Advances and New Domains 12th European Semantic Web Conference, ESWC 2015, Portoroz, Slovenia, May 31 -- June 4, 2015. Proceedings

2024-12-26T08:49:54Z

Yazar Gandon, Fabien. editor. Sabou, Marta. editor. Sack, Harald. editor. d'Amato, Claudia. editor. Cudré-Mauroux, Philippe. editor.
Yer Numarası XX(519030.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-18818-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Intelligent Information and Database Systems 7th Asian Conference, ACIIDS 2015, Bali, Indonesia, March 23-25, 2015, Proceedings, Part II

2024-12-26T08:49:54Z

Yazar Nguyen, Ngoc Thanh. editor. Trawiński, Bogdan. editor. Kosala, Raymond. editor. SpringerLink (Online service)
Yer Numarası XX(519031.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-15705-4
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Interactive Theorem Proving 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings

2024-12-26T08:49:54Z

Yazar Urban, Christian. editor. Zhang, Xingyuan. editor. SpringerLink (Online service)
Yer Numarası XX(519043.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-22102-1
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Artificial Life and Computational Intelligence First Australasian Conference, ACALCI 2015, Newcastle, NSW, Australia, February 5-7, 2015, Proceedings

2024-12-26T08:49:54Z

Yazar Chalup, Stephan. editor. Blair, Alan D. editor. Randall, Marcus. editor. SpringerLink (Online service)
Yer Numarası XX(519044.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-14803-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

FM 2015: Formal Methods 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings

2024-12-26T08:49:54Z

Yazar Bjørner, Nikolaj. editor. de Boer, Frank. editor. SpringerLink (Online service)
Yer Numarası XX(519064.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-19249-9
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Knowledge Science, Engineering and Management 8th International Conference, KSEM 2015, Chongqing, China, October 28-30, 2015, Proceedings

2024-12-26T08:49:54Z

Yazar Zhang, Songmao. editor. (orcid) Wirsing, Martin. editor. Zhang, Zili. editor. SpringerLink (Online service)
Yer Numarası XX(519231.1)
Elektronik Erişim https://doi.org/10.1007/978-3-319-25159-2
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

2024-12-26T08:49:54Z

Yazar Vitek, Jan. editor. SpringerLink (Online service)
Yer Numarası XX(519237.1)
Elektronik Erişim https://doi.org/10.1007/978-3-662-46669-8
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1