Arama Sonuçları Reasoning.

Commonsense reasoning

2024-11-10T09:11:34Z

Yazar Mueller, Erik T.
Yer Numarası ONLINE
Elektronik Erişim ScienceDirect http://www.sciencedirect.com/science/book/9780123693884
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Nonmonotonic reasoning

2024-11-10T09:11:34Z

Yazar Antoniou, G. (Grigoris) Williams, M. A.
Yer Numarası ONLINE
Elektronik Erişim IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267369
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Reasoning about knowledge

2024-11-10T09:11:34Z

Yazar Fagin, Ronald.
Yer Numarası ONLINE
Elektronik Erişim IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6276835
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Constraint-based reasoning

2024-11-10T09:11:34Z

Yazar Freuder, Eugene C. Mackworth, Alan K.
Yer Numarası ONLINE
Elektronik Erişim IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267467
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Diagrammatic reasoning in AI

2024-11-10T09:11:34Z

Yazar Nakatsu, Robbie, 1964-
Yer Numarası ONLINE
Elektronik Erişim Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=469746 John Wiley http://dx.doi.org/10.1002/9780470400777 MyiLibrary, Table of contents http://www.myilibrary.com?id=245548&ref=toc http://site.ebrary.com/lib/alltitles/Doc?id=10355297
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Methods of legal reasoning

2024-11-10T09:11:34Z

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

Reasoning, meaning, and mind

2024-11-10T09:11:34Z

Yazar Harman, Gilbert.
Yer Numarası BC 177 H375 1999
Format: Kitap
Durum Beytepe Kütüphanesi~1

Visual Reasoning with Diagrams

2024-11-10T09:11:34Z

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-11-10T09:11:34Z

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

Case-Based Approximate Reasoning

2024-11-10T09:11:34Z

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

Constitutionalism and Legal Reasoning

2024-11-10T09:11:34Z

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

Knowledge representation and reasoning

2024-11-10T09:11:34Z

Yazar Brachman, Ronald J., 1949- Levesque, Hector J., 1951-
Yer Numarası ONLINE
Elektronik Erişim ScienceDirect http://www.sciencedirect.com/science/book/9781558609327
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Nature of Reasoning

2024-11-10T09:11:34Z

Yazar Leighton, Jacqueline P.. Sternberg, Robert J..
Yer Numarası ONLINE
Elektronik Erişim Access by subscription
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Practical reasoning in bioethics

2024-11-10T09:11:34Z

Yazar Childress, James F.
Yer Numarası W 50 C536 1997
Format: Kitap
Durum Sağlık Bilimleri Kütüphanesi~1

Robots, Reasoning, and Reification

2024-11-10T09:11:34Z

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-11-10T09:11:34Z

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

The nature of reasoning

2024-11-10T09:11:34Z

Yazar Leighton, Jacqueline P., ed. Sternberg, Robert J., ed.
Yer Numarası BF 442 N38 2004
Format: Kitap
Durum Beytepe Kütüphanesi~1

Handbook of automated reasoning

2024-11-10T09:11:34Z

Yazar Robinson, J. A. (John Alan) Voronkov, Andrei, 1959-
Yer Numarası ONLINE
Elektronik Erişim ScienceDirect http://www.sciencedirect.com/science/book/9780444508133
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Reasoning about rational agents

2024-11-10T09:11:34Z

Yazar Wooldridge, Michael J., 1966-
Yer Numarası ONLINE
Elektronik Erişim IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267359
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Statistical reasoning in sociology

2024-11-10T09:11:34Z

Yazar Mueller, John Henry, 1895- Schuessler, Karl F., ort. yaz. Costner, Herbert L., ort. yaz.
Yer Numarası HA 29 M87 1970
Format: Kitap
Durum Beytepe Kütüphanesi~1

Legal method, skills and reasoning

2024-11-10T09:11:34Z

Yazar Hanson, Sharon, LLB. Hanson, Sharon, LLB. Legal method & reasoning.
Yer Numarası ONLINE
Elektronik Erişim Click here to view
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Judgment and reasoning in the child

2024-11-10T09:11:34Z

Yazar Piaget, Jean, 1896- Cartalis, Mlles E., collab.
Yer Numarası BF 723.R4 P53 1928
Format: Kitap
Durum Beytepe Kütüphanesi~1

Neuro Symbolic Reasoning and Learning

2024-11-10T09:11:34Z

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-11-10T09:11:34Z

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-11-10T09:11:34Z

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-11-10T09:11:34Z

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 concise introduction

2024-11-10T09:11:34Z

Yazar López, Beatriz.
Yer Numarası ONLINE
Elektronik Erişim EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=578513
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Case-Based Reasoning A Textbook

2024-11-10T09:11:34Z

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-11-10T09:11:34Z

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

Emotions, imagination, and moral reasoning

2024-11-10T09:11:34Z

Yazar Langdon, Robyn. Mackenzie, Catriona.
Yer Numarası ONLINE
Elektronik Erişim Click here to view
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Reasoning in Event-Based Distributed Systems

2024-11-10T09:11:34Z

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

Fundamental uncertainty rationality and plausible reasoning

2024-11-10T09:11:34Z

Yazar Marzetti Dall'Aste Brandolini, Silva. Scazzieri, Roberto. Palgrave Connect (Online service)
Yer Numarası ONLINE
Elektronik Erişim EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=376458
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Foundations of Reasoning under Uncertainty

2024-11-10T09:11:34Z

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

Cognitive Reasoning A Formal Approach

2024-11-10T09:11:34Z

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-11-10T09:11:34Z

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

Modelling and Reasoning with Vague Concepts

2024-11-10T09:11:34Z

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

Fuzzy expert systems and fuzzy reasoning

2024-11-10T09:11:34Z

Yazar Siler, William. Buckley, James J., 1936-
Yer Numarası ONLINE
Elektronik Erişim Click for information John Wiley http://dx.doi.org/10.1002/0471698504 ebrary http://site.ebrary.com/id/10114104 HathiTrust Digital Library Limited view (search only) http://catalog.hathitrust.org/api/volumes/oclc/55146362.html
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Clinical reasoning for manual therapists

2024-11-10T09:11:34Z

Yazar Jones, Mark A. Rivett, Darren A.
Yer Numarası ONLINE
Elektronik Erişim ScienceDirect http://www.sciencedirect.com/science/book/9780750639064
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Foundations of soft case-based reasoning

2024-11-10T09:11:34Z

Yazar Pal, Sankar K. Shiu, Simon C. K.
Yer Numarası ONLINE
Elektronik Erişim John Wiley http://dx.doi.org/10.1002/0471644676 HathiTrust Digital Library, Limited view (search only) http://catalog.hathitrust.org/api/volumes/oclc/53138696.html MyiLibrary, Table of contents http://www.myilibrary.com?id=36798&ref=toc
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Legal reasoning and legal theory

2024-11-10T09:11:34Z

Yazar MacCormick, Neil.
Yer Numarası K213 M28 2003
Format: Kitap
Durum Hukuk Kütüphanesi~2

Qualitative methods for reasoning under uncertainty

2024-11-10T09:11:34Z

Yazar Parsons, Simon.
Yer Numarası ONLINE
Elektronik Erişim IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267317
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Reasoning and rhetoric in religion

2024-11-10T09:11:34Z

Yazar Murphy, Nancey C.
Yer Numarası BR118 M876 2001
Format: Kitap
Durum Beytepe Kütüphanesi~1

An introduction to economic reasoning

2024-11-10T09:11:34Z

Yazar Gordon, David
Yer Numarası HB 171 G637 2000
Format: Kitap
Durum Beytepe Kütüphanesi~1

Causality : models, reasoning, and inference

2024-11-10T09:11:34Z

Yazar Pearl, Judea, author.
Yer Numarası BD541 .P43 2000
Elektronik Erişim https://doi.org/10.1017/CBO9780511803161
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Spatial reasoning for effective GIS

2024-11-10T09:11:34Z

Yazar Berry, Joseph K.
Yer Numarası G70.2 B47 1995
Format: Kitap
Durum Beytepe Kütüphanesi~1

Legal reasoning and legal theory

2024-11-10T09:11:34Z

Yazar MacCormick, Neil.
Yer Numarası ONLINE
Elektronik Erişim Oxford scholarship online http://dx.doi.org/10.1093/acprof:oso/9780198763840.001.0001
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Non-standard logics for automated reasoning

2024-11-10T09:11:34Z

Yazar Smets, Philippe, ed. by
Yer Numarası QA 9.4 N65 1988
Format: Kitap
Durum Beytepe Kütüphanesi~1

Qualitative reasoning about physical systems

2024-11-10T09:11:34Z

Yazar Bobrow, Daniel G. (Daniel Gureasko), 1935-
Yer Numarası ONLINE
Elektronik Erişim ScienceDirect http://www.sciencedirect.com/science/book/9780444876706
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

A history of economic reasoning

2024-11-10T09:11:34Z

Yazar Pribram, Karl, 1877-1973.
Yer Numarası HB 75 P735 1983
Format: Kitap
Durum Beytepe Kütüphanesi~1

Logic : the study of deductive reasoning

2024-11-10T09:11:34Z

Yazar Yıldırım, Cemal.
Yer Numarası BC 71 Y51 1973
Format: Kitap
Durum Beytepe Kütüphanesi~1

Biochemical reasoning : numerical examples for students

2024-11-10T09:11:34Z

Yazar Kerridge, David, ed. Tipton, Keith F., ed.
Yer Numarası QU 25 BIO 1972
Format: Kitap
Durum Sağlık Bilimleri Kütüphanesi~1

An introduction to legal reasoning

2024-11-10T09:11:34Z

Yazar Levi, Edward H.
Yer Numarası KF425 L48 1949
Format: Kitap
Durum Hukuk Kütüphanesi~1

Automated Reasoning for Systems Biology and Medicine

2024-11-10T09:11:34Z

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

Reasoning : the neuroscience of how we think

2024-11-10T09:11:34Z

Yazar Krawczyk, Daniel, author.
Yer Numarası ONLINE
Elektronik Erişim ScienceDirect https://www.sciencedirect.com/science/book/9780128092859
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Workflow Modeling Assistance by Case-based Reasoning

2024-11-10T09:11:34Z

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

Commonsense reasoning an event calculus-based approach

2024-11-10T09:11:34Z

Yazar Mueller, Erik T., author.
Yer Numarası ONLINE(355437.1)
Elektronik Erişim ScienceDirect http://www.sciencedirect.com/science/book/9780128014165
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Computational Approaches to Analogical Reasoning: Current Trends

2024-11-10T09:11:34Z

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-11-10T09:11:34Z

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-11-10T09:11:34Z

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

Mathematical reasoning patterns, problems, conjectures, and proofs

2024-11-10T09:11:34Z

Yazar Nickerson, Raymond S.
Yer Numarası ONLINE
Elektronik Erişim Click here to view
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Teaching Mathematical Reasoning in Secondary School Classrooms

2024-11-10T09:11:34Z

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

Teaching mathematical reasoning in secondary school classrooms

2024-11-10T09:11:34Z

Yazar Brodie, Karin. Coetzee, Kurt.
Yer Numarası QA8.7 B76 2010
Format: Kitap
Durum Beytepe Kütüphanesi~1

Handbook of Practical Logic and Automated Reasoning

2024-11-10T09:11:34Z

Yazar Harrison, John.
Yer Numarası ONLINE
Elektronik Erişim Access by subscription
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Case-Based Reasoning on Images and Signals

2024-11-10T09:11:34Z

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

Clinical and professional reasoning in occupational therapy

2024-11-10T09:11:34Z

Yazar Schell, Barbara A. Boyt. Schell, John W. (John William), 1947-
Yer Numarası WB 555 C6405 2008
Format: Kitap
Durum Sağlık Bilimleri Kütüphanesi~1

Handbook of temporal reasoning in artificial intelligence

2024-11-10T09:11:34Z

Yazar Fisher, Michael, 1962- Gabbay, Dov M., 1945- Vila, L. (Lluis)
Yer Numarası ONLINE
Elektronik Erişim ScienceDirect http://www.sciencedirect.com/science/book/9780444514936
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Constraint Satisfaction Techniques for Agent-Based Reasoning

2024-11-10T09:11:34Z

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

Rippling: Meta-Level Guidance for Mathematical Reasoning

2024-11-10T09:11:34Z

Yazar Bundy, Alan. Basin, David. Hutter, Dieter. Ireland, Andrew.
Yer Numarası ONLINE
Elektronik Erişim Access by subscription
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Visualization, Explanation and Reasoning Styles in Mathematics

2024-11-10T09:11:34Z

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

Transfer of learning cognition, instruction, and reasoning

2024-11-10T09:11:34Z

Yazar Haskell, Robert E.
Yer Numarası ONLINE
Elektronik Erişim ScienceDirect http://www.sciencedirect.com/science/book/9780123305954
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Ruling passions : a theory of practical reasoning

2024-11-10T09:11:34Z

Yazar Blackburn, Simon.
Yer Numarası BJ1311 .B53 2000
Format: Kitap
Durum Beytepe Kütüphanesi~1

Mental models in discourse processing and reasoning

2024-11-10T09:11:34Z

Yazar Rickheit, Gert. Habel, Christopher.
Yer Numarası ONLINE
Elektronik Erişim ScienceDirect http://www.sciencedirect.com/science/book/9780444502742
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Developing mathematical reasoning in grades K-12

2024-11-10T09:11:34Z

Yazar Stiff, Lee, ed. Curcio, Frances R, ed.
Yer Numarası QA 1 N3 1999
Format: Kitap
Durum Beytepe Kütüphanesi~1

Intelligence, mind, and reasoning structure and development

2024-11-10T09:11:34Z

Yazar Demetriou, Andreas. Efklides, Anastasia.
Yer Numarası ONLINE
Elektronik Erişim ScienceDirect http://www.sciencedirect.com/science/book/9780444897145
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Reasoning and choice : explorations in political psychology

2024-11-10T09:11:34Z

Yazar Sniderman, Paul M. Brody, Richard A. Tetlock, Philip.
Yer Numarası HN 90.P8 R43 1993
Format: Kitap
Durum Beytepe Kütüphanesi~2

Political reasoning and cognition : a Piagetian view

2024-11-10T09:11:34Z

Yazar Rosenberg, Shawn W., 1951- Ward, Dana. Chilton, Stephen.
Yer Numarası JA 74.5 R67 1988
Format: Kitap
Durum Beytepe Kütüphanesi~1

The Pattern of reasoning in scientific discovery

2024-11-10T09:11:34Z

Yazar Yıldırım, Cemal.
Yer Numarası Q 175 Y561 1968
Format: Kitap
Durum Beytepe Kütüphanesi~1

The hands-on guide to clinical reasoning in medicine

2024-11-10T09:11:34Z

Yazar Irfan, Mujammil, author.
Yer Numarası ONLINE
Elektronik Erişim Wiley Online Library
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Symbolic projection for image information retrieval and spatial reasoning

2024-11-10T09:11:34Z

Yazar Chang, S. K. (Shi Kuo), 1944- Jungert, Erland.
Yer Numarası ONLINE
Elektronik Erişim ScienceDirect http://www.sciencedirect.com/science/book/9780121680305
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Methods and criteria of reasoning : an inquiry into the structure of controversy

2024-11-10T09:11:34Z

Yazar Crawshay-Williams, Rupert.
Yer Numarası BC 177 C7 1957 (SET)
Format: Kitap
Durum Beytepe Kütüphanesi~1

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

2024-11-10T09:11:34Z

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

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

2024-11-10T09:11:34Z

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

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

2024-11-10T09:11:34Z

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

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

2024-11-10T09:11:34Z

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

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

2024-11-10T09:11:34Z

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

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

2024-11-10T09:11:34Z

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-11-10T09:11:34Z

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

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

2024-11-10T09:11:34Z

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

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

2024-11-10T09:11:34Z

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

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

2024-11-10T09:11:34Z

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

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

2024-11-10T09:11:34Z

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

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

2024-11-10T09:11:34Z

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

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

2024-11-10T09:11:34Z

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-11-10T09:11:34Z

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

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

2024-11-10T09:11:34Z

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

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

2024-11-10T09:11:34Z

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

Computational models for biomedical reasoning and problem solving

2024-11-10T09:11:34Z

Yazar Chen, Chung-Hao, 1974- editor. Cheung, Sen-Ching Samson, 1969- editor. IGI Global, publisher.
Yer Numarası ONLINE
Elektronik Erişim Chapter PDFs via platform: http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/978-1-5225-7467-5
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2024-11-10T09:11:34Z

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

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

2024-11-10T09:11:34Z

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 Structures for Knowledge Representation and Reasoning 5th International Workshop, GKR 2017, Melbourne, VIC, Australia, August 21, 2017, Revised Selected Papers

2024-11-10T09:11:34Z

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

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

2024-11-10T09:11:34Z

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

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-11-10T09:11:34Z

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

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

2024-11-10T09:11:34Z

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

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

2024-11-10T09:11:34Z

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

Reasoning with Rough Sets Logical Approaches to Granularity-Based Framework

2024-11-10T09:11:34Z

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

Logical investigative methods : critical thinking and reasoning for successful investigations

2024-11-10T09:11:34Z

Yazar Girod, Robert J., author.
Yer Numarası ONLINE(356395.1)
Elektronik Erişim Distributed by publisher. Purchase or institutional license may be required for access.
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-11-10T09:11:34Z

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

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

2024-11-10T09:11:34Z

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-11-10T09:11:34Z

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

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

2024-11-10T09:11:34Z

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 for Programming, Artificial Intelligence, and Reasoning 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings

2024-11-10T09:11:34Z

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

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

2024-11-10T09:11:34Z

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

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

2024-11-10T09:11:34Z

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

Reasoning and Public Health: New Ways of Coping with Uncertainty

2024-11-10T09:11:34Z

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

Models of Strategic Reasoning Logics, Games, and Communities

2024-11-10T09:11:34Z

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

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

2024-11-10T09:11:34Z

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

The Limits of Legal Reasoning and the European Court of Justice

2024-11-10T09:11:34Z

Yazar Conway, Gerard.
Yer Numarası ONLINE
Elektronik Erişim Access by subscription
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-11-10T09:11:34Z

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-11-10T09:11:34Z

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

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

2024-11-10T09:11:34Z

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-11-10T09:11:34Z

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-11-10T09:11:34Z

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-11-10T09:11:34Z

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

Natural and Artificial Reasoning An Exploration of Modelling Human Thinking

2024-11-10T09:11:34Z

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-11-10T09:11:34Z

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

Geometric Modeling and Reasoning of Human-Centered Freeform Products

2024-11-10T09:11:34Z

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

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

2024-11-10T09:11:34Z

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

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

2024-11-10T09:11:34Z

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

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

2024-11-10T09:11:34Z

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-11-10T09:11:34Z

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

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

2024-11-10T09:11:34Z

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-11-10T09:11:34Z

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-11-10T09:11:34Z

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

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

2024-11-10T09:11:34Z

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

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-11-10T09:11:34Z

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

A primer on clinical experience in medicine reasoning, decision making, and communication in health sciences

2024-11-10T09:11:34Z

Yazar Jenicek, Milos, 1935-
Yer Numarası ONLINE
Elektronik Erişim Distributed by publisher. Purchase or institutional license may be required for access.
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The reasoning criminologist essays in honour of Ronald V. Clarke

2024-11-10T09:11:34Z

Yazar Clarke, R. V. G. Tilley, Nick. Farrell, Graham.
Yer Numarası ONLINE
Elektronik Erişim Click here to view
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

More! teaching fractions and ratios for understanding : in-depth discussion and reasoning activities

2024-11-10T09:11:34Z

Yazar Lamon, Susan J., 1949- Lamon, Susan J., 1949- More.
Yer Numarası ONLINE
Elektronik Erişim Click here to view
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The logic of autonomy law, morality and autonomous reasoning

2024-11-10T09:11:34Z

Yazar Sieckmann, Jan-Reinard, author.
Yer Numarası ONLINE
Elektronik Erişim EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=575515
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Application of nursing process and nursing diagnosis an interactive text for diagnostic reasoning

2024-11-10T09:11:34Z

Yazar Doenges, Marilynn E., 1922- Moorhouse, Mary Frances, 1947-
Yer Numarası ONLINE
Elektronik Erişim EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=529107
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-11-10T09:11:34Z

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

Thinking and reasoning an introduction to the psychology of reason, judgment and decision making

2024-11-10T09:11:34Z

Yazar Manktelow, K. I., 1952-
Yer Numarası ONLINE
Elektronik Erişim Click here to view
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2024-11-10T09:11:34Z

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-11-10T09:11:34Z

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-11-10T09:11:34Z

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-11-10T09:11:34Z

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

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

2024-11-10T09:11:34Z

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-11-10T09:11:34Z

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

The reputational premium : a theory of party identification and policy reasoning

2024-11-10T09:11:34Z

Yazar Sniderman, Paul M., author. Stiglitz, Edward H., 1980- author.
Yer Numarası ONLINE
Elektronik Erişim http://www.jstor.org/stable/10.2307/j.ctt7s54x
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Supporting grade 5-8 students in constructing explanations in science : the claim, evidence, and reasoning framework for talk and writing

2024-11-10T09:11:34Z

Yazar McNeill, Katherine L. Krajcik, Joseph S.
Yer Numarası LB1585 M38 2012
Format: Kitap
Durum Beytepe Kütüphanesi~1

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

2024-11-10T09:11:34Z

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-11-10T09:11:34Z

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

Arguing global governance agency, lifeworld, and shared reasoning

2024-11-10T09:11:34Z

Yazar Bjola, Corneliu. Kornprobst, Markus.
Yer Numarası ONLINE
Elektronik Erişim Click here to view
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-11-10T09:11:34Z

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

Approximate Reasoning by Parts An Introduction to Rough Mereology

2024-11-10T09:11:34Z

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

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

2024-11-10T09:11:34Z

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-11-10T09:11:34Z

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-11-10T09:11:34Z

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

Reasoning from Race feminism, law, and the civil rights revolution

2024-11-10T09:11:34Z

Yazar Mayeri, Serena.
Yer Numarası ONLINE
Elektronik Erişim http://dx.doi.org/10.4159/harvard.9780674061101
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-11-10T09:11:34Z

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

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

2024-11-10T09:11:34Z

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

Combinatorics and Reasoning Representing, Justifying and Building Isomorphisms

2024-11-10T09:11:34Z

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

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

2024-11-10T09:11:34Z

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

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

2024-11-10T09:11:34Z

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-11-10T09:11:34Z

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

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

2024-11-10T09:11:34Z

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

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

2024-11-10T09:11:34Z

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

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

2024-11-10T09:11:34Z

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

Generic Inference a Unifying Theory for Automated Reasoning

2024-11-10T09:11:34Z

Yazar Pouly, Marc, 1980- author. Kohlas, Jürg, 1939- author. Wiley InterScience (Online service)
Yer Numarası ONLINE
Elektronik Erişim Wiley InterScience An electronic book accessible through the World Wide Web; click for information Available by subscription from Safari Books Online Ebook Library http://public.eblib.com/EBLPublic/PublicView.do?ptiID=698878 http://site.ebrary.com/lib/alltitles/Doc?id=10469758 Volltext http://proquest.tech.safaribooksonline.de/9781118010860
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Combinatorics and Reasoning Representing, Justifying and Building Isomorphisms

2024-11-10T09:11:34Z

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

Developing essential understanding of ratios, proportions, and proportional reasoning for teaching mathematics in grades 6-8

2024-11-10T09:11:34Z

Yazar Lobato, Joanne. Ellis, Amy B. Charles, Randall I. (Randall Inners), 1949-
Yer Numarası QA135.6 L63 2010
Format: Kitap
Durum Beytepe Kütüphanesi~1

Networks, crowds, and markets reasoning about a highly connected world

2024-11-10T09:11:34Z

Yazar Easley, David. Kleinberg, Jon.
Yer Numarası ONLINE
Elektronik Erişim EBSCOhost http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=324125
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Hierarchical Voronoi Graphs Spatial Representation and Reasoning for Mobile Robots

2024-11-10T09:11:34Z

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-11-10T09:11:34Z

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-11-10T09:11:34Z

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-11-10T09:11:34Z

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

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

2024-11-10T09:11:34Z

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-11-10T09:11:34Z

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 16th International Conference, LPAR-16, Dakar, Senegal, April 25–May 1, 2010, Revised Selected Papers

2024-11-10T09:11:34Z

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

Rethinking the BSE Crisis A Study of Scientific Reasoning under Uncertainty

2024-11-10T09:11:34Z

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

By parallel reasoning the construction and evaluation of analogical arguments

2024-11-10T09:11:34Z

Yazar Bartha, Paul F. A., 1964-
Yer Numarası ONLINE
Elektronik Erişim Oxford scholarship online http://dx.doi.org/10.1093/acprof:oso/9780195325539.001.0001
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Use of representations in reasoning and problem solving analysis and improvement

2024-11-10T09:11:34Z

Yazar Verschaffel, Lieven, 1957-
Yer Numarası ONLINE
Elektronik Erişim Click here to view
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2024-11-10T09:11:34Z

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

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

2024-11-10T09:11:34Z

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

Öğrencilerin genetik kavramları anlama düzeyleri ile mantıksal düşünme yetenekleri ve öğrenme yaklaşımları arasındaki ilişki = The relationship among students'understanding of genetics concepts, reasoning ability and meaningful learning orientation

2024-11-10T09:11:34Z

Yazar Kılıç, Didem.
Yer Numarası TEZ 9367 .K55 2009
Format: Kitap
Durum Beytepe Kütüphanesi~1

Navigating through problem solving and reasoning in grades 6-8

2024-11-10T09:11:34Z

Yazar Friel, Susan N.
Yer Numarası QA135.6 N3743 2009
Format: Kitap
Durum Beytepe Kütüphanesi~3

Foundations of Computational Intelligence Volume 2 Approximate Reasoning

2024-11-10T09:11:34Z

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

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

2024-11-10T09:11:34Z

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-11-10T09:11:34Z

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

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

2024-11-10T09:11:34Z

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-11-10T09:11:34Z

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

College organization and professional development integrating moral reasoning and reflective practice

2024-11-10T09:11:34Z

Yazar St. John, Edward P.
Yer Numarası ONLINE
Elektronik Erişim Click here to view
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2024-11-10T09:11:34Z

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

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

2024-11-10T09:11:34Z

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-11-10T09:11:34Z

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-11-10T09:11:34Z

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

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

2024-11-10T09:11:34Z

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

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

2024-11-10T09:11:34Z

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

Probabilistic Reasoning and Decision Making in Sensory-Motor Systems

2024-11-10T09:11:34Z

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

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

2024-11-10T09:11:34Z

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

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

2024-11-10T09:11:34Z

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

Developing Students’ Statistical Reasoning Connecting Research and Teaching Practice

2024-11-10T09:11:34Z

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

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

2024-11-10T09:11:34Z

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

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

2024-11-10T09:11:34Z

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

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

2024-11-10T09:11:34Z

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-11-10T09:11:34Z

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-11-10T09:11:34Z

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

Introduction to splinting : a clinical reasoning and problem-solving approach

2024-11-10T09:11:34Z

Yazar Coppard, Brenda M. Lohman, Helene.
Yer Numarası WE 26 C785 2008
Format: Kitap
Durum Sağlık Bilimleri Kütüphanesi~2

Learning from data : an introduction to statistical reasoning

2024-11-10T09:11:34Z

Yazar Glenberg, Arthur M. Andrzejewski, Matthew E.
Yer Numarası HA29 .G57 2008
Format: Kitap
Durum Beytepe Kütüphanesi~1

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

2024-11-10T09:11:34Z

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-11-10T09:11:34Z

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

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

2024-11-10T09:11:34Z

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-11-10T09:11:34Z

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

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

2024-11-10T09:11:34Z

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

Mathematics by experiment plausible reasoning in the 21st century

2024-11-10T09:11:34Z

Yazar Borwein, Jonathan M. Bailey, David H.
Yer Numarası ONLINE
Elektronik Erişim Distributed by publisher. Purchase or institutional license may be required for access.
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Judicial Reasoning under the UK Human Rights Act

2024-11-10T09:11:34Z

Yazar Fenwick, Helen. Phillipson, Gavin . Masterman, Roger.
Yer Numarası ONLINE
Elektronik Erişim Access by subscription
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Adversarial reasoning computational approaches to reading the opponent's mind

2024-11-10T09:11:34Z

Yazar Kott, Alexander W. McEneaney, William M.
Yer Numarası ONLINE
Elektronik Erişim Distributed by publisher. Purchase or institutional license may be required for access.
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-11-10T09:11:34Z

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-11-10T09:11:34Z

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-11-10T09:11:34Z

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

Bayesian rationality the probabilistic approach to human reasoning

2024-11-10T09:11:34Z

Yazar Oaksford, M. (Mike) Chater, Nick.
Yer Numarası ONLINE
Elektronik Erişim Oxford scholarship online http://dx.doi.org/10.1093/acprof:oso/9780198524496.001.0001
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Model-Based Reasoning in Science, Technology, and Medicine

2024-11-10T09:11:34Z

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-11-10T09:11:34Z

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

Quantitative reasoning and the environment : mathematical modeling in context

2024-11-10T09:11:34Z

Yazar Langkamp, Greg. Hull, Joseph.
Yer Numarası GE45.M38 L365 2007
Format: Kitap
Durum Beytepe Kütüphanesi~1

Fundamentals of hand therapy clinical reasoning and treatment guidelines for common diagnoses of the upper extremity

2024-11-10T09:11:34Z

Yazar Cooper, Cynthia, CHT.
Yer Numarası ONLINE
Elektronik Erişim ScienceDirect http://www.sciencedirect.com/science/book/9780323033862
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Fundamentals of hand therapy : clinical reasoning and treatment guidelines for common diagnoses of the upper extremity

2024-11-10T09:11:34Z

Yazar Cooper, Cynthia, CHT.
Yer Numarası WE 830 F9813 2007
Format: Kitap
Durum Sağlık Bilimleri Kütüphanesi~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-11-10T09:11:34Z

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-11-10T09:11:34Z

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-11-10T09:11:34Z

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-11-10T09:11:34Z

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

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

2024-11-10T09:11:34Z

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

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

2024-11-10T09:11:34Z

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-11-10T09:11:34Z

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

The Consistent Preferences Approach to Deductive Reasoning in Games

2024-11-10T09:11:34Z

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

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

2024-11-10T09:11:34Z

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

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

2024-11-10T09:11:34Z

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-11-10T09:11:34Z

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-11-10T09:11:34Z

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

Reasoning in Biological Discoveries Essays on Mechanisms, Interfield Relations, and Anomaly Resolution

2024-11-10T09:11:34Z

Yazar Darden, Lindley.
Yer Numarası ONLINE
Elektronik Erişim Access by subscription
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

ABDUCTIVE REASONING LOGICAL INVESTIGATIONS INTO DISCOVERY AND EXPLANATION

2024-11-10T09:11:34Z

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-11-10T09:11:34Z

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

Rhetoric and the rule of law : a theory of legal reasoning

2024-11-10T09:11:34Z

Yazar MacCormick, Neil.
Yer Numarası K213 M284 2005
Format: Kitap
Durum Hukuk Kütüphanesi~1

Reasoning Robots The Art and Science of Programming Robotic Agents

2024-11-10T09:11:34Z

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

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

2024-11-10T09:11:34Z

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

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

2024-11-10T09:11:34Z

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

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

2024-11-10T09:11:34Z

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

Rhetoric and the rule of law a theory of legal reasoning

2024-11-10T09:11:34Z

Yazar MacCormick, Neil.
Yer Numarası ONLINE
Elektronik Erişim Oxford scholarship online http://dx.doi.org/10.1093/acprof:oso/9780199571246.001.0001
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The Challenge of Developing Statistical Literacy, Reasoning and Thinking

2024-11-10T09:11:34Z

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

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

2024-11-10T09:11:34Z

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

The Judicial Process Realism, Pragmatism, Practical Reasoning and Principles

2024-11-10T09:11:34Z

Yazar Thomas, E. W..
Yer Numarası ONLINE
Elektronik Erişim Access by subscription
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Beyond reasonable doubt reasoning processes in obsessive-compulsive disorder and related disorders

2024-11-10T09:11:34Z

Yazar O'Connor, Kieron Philip. Aardema, Frederick. Pélissier, Marie-Claude.
Yer Numarası ONLINE
Elektronik Erişim Wiley InterScience An electronic book accessible through the World Wide Web; click for information http://www3.interscience.wiley.com/cgi-bin/homepage/?isbn=9780470030271 Contributor biographical information http://catdir.loc.gov/catdir/enhancements/fy0616/2004011339-b.html HathiTrust Digital Library Limited view (search only) http://catalog.hathitrust.org/api/volumes/oclc/55475112.html
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2024-11-10T09:11:34Z

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

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

2024-11-10T09:11:34Z

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-11-10T09:11:34Z

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

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

2024-11-10T09:11:34Z

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-11-10T09:11:34Z

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-11-10T09:11:34Z

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

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

2024-11-10T09:11:34Z

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

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

2024-11-10T09:11:34Z

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

Law in a Market Context An Introduction to Market Concepts in Legal Reasoning

2024-11-10T09:11:34Z

Yazar Malloy, Robin Paul.
Yer Numarası ONLINE
Elektronik Erişim Access by subscription
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The challenge of developing statistical literacy, reasoning, and thinking

2024-11-10T09:11:34Z

Yazar Ben-Zvi, Dani. Garfield, J. B. (Joan B.)
Yer Numarası QA276.12 C444 2004
Format: Kitap
Durum Beytepe Kütüphanesi~1

Dimensions of Private Law Categories and Concepts in Anglo-American Legal Reasoning

2024-11-10T09:11:34Z

Yazar Waddams, Stephen.
Yer Numarası ONLINE
Elektronik Erişim Access by subscription
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Thinking psychological perspectives on reasoning, judgment, and decision making

2024-11-10T09:11:34Z

Yazar Hardman, David. Macchi, Laura, 1961- John Wiley & Sons.
Yer Numarası ONLINE
Elektronik Erişim John Wiley http://dx.doi.org/10.1002/047001332X Contributor biographical information http://catdir.loc.gov/catdir/bios/wiley047/2003003951.html
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Clinical applications of pathophysiology : Assessment, diagnostic reasoning, and management

2024-11-10T09:11:34Z

Yazar Brashers, Valentina L.
Yer Numarası QZ 140 B823 2002
Format: Kitap
Durum Sağlık Bilimleri Kütüphanesi~1

Practical Reasoning in a Social World How We Act Together

2024-11-10T09:11:34Z

Yazar Graham, Keith.
Yer Numarası ONLINE
Elektronik Erişim Access by subscription
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Developing the Horizons of the Mind Relational and Contextual Reasoning and the Resolution of Cognitive Conflict

2024-11-10T09:11:34Z

Yazar Reich, K. Helmut.
Yer Numarası ONLINE
Elektronik Erişim Access by subscription
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Clinical epidemiology & evidence-based medicine fundamental principles of clinical reasoning & research

2024-11-10T09:11:34Z

Yazar Katz, David L., 1963-
Yer Numarası ONLINE(367878.1)
Elektronik Erişim SAGE knowledge http://sk.sagepub.com/books/clinical-epidemiology-and-evidence-based-medicine
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Time granularities in databases, data mining, and temporal reasoning

2024-11-10T09:11:34Z

Yazar Bettini, Claudio, 1963- Jajodia, Sushil, ort. yaz. Wang, Sean, 1960- ort. yaz.
Yer Numarası QA 76.9.D3 B487 2000
Format: Kitap
Durum Beytepe Kütüphanesi~1

The politics of large numbers : A history of statistical reasoning

2024-11-10T09:11:34Z

Yazar Desrosieres, Alain.
Yer Numarası HA 19 D4713 1998
Format: Kitap
Durum Beytepe Kütüphanesi~1

For the sake of the argument : Ramsey Test conditionals, inductive inference, and nonmonotonic reasoning

2024-11-10T09:11:34Z

Yazar Levi, Isaac, 1930-
Yer Numarası BC 183 L48 1996
Format: Kitap
Durum Beytepe Kütüphanesi~1

Reasoning about luck : probability and its uses in physics

2024-11-10T09:11:34Z

Yazar Ambegaokar, Vinay.
Yer Numarası QC 174.8.A43 1996
Format: Kitap
Durum Sağlık Bilimleri Kütüphanesi~1

The reasoning voter : communication and persuasion in presidential campaigns

2024-11-10T09:11:34Z

Yazar Popkin, Samuel L.
Yer Numarası JK524 P64 1994
Format: Kitap
Durum Beytepe Kütüphanesi~1

Logic programming and non-monotonic reasoning proceedings of the second international workshop

2024-11-10T09:11:34Z

Yazar Pereira, Luís Moniz. Nerode, Anil, 1932-
Yer Numarası ONLINE
Elektronik Erişim IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267520
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

The abuse of casuistry : a history of moral reasoning

2024-11-10T09:11:34Z

Yazar Jonsen, Albert R. Toulmin, Stephen Edelston.
Yer Numarası BJ1441 .J66 1988
Format: Kitap
Durum Sağlık Bilimleri Kütüphanesi~1

Reasoning about actions and plans proceedings of the 1986 workshop : June 30-July 2, 1986, Timberline, Oregon

2024-11-10T09:11:34Z

Yazar Georgeff, Michael P., 1946- Lansky, Amy L., 1955- American Association for Artificial Intelligence. Center for the Study of Language and Information (U.S.)
Yer Numarası ONLINE
Elektronik Erişim ScienceDirect http://www.sciencedirect.com/science/book/9780934613309
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Workbook for reasoning skills : exercises for cognitive facilitation

2024-11-10T09:11:34Z

Yazar Brubaker, Susan Howell, 1949-
Yer Numarası WL 355 B886 1983
Format: Kitap
Durum Sağlık Bilimleri Kütüphanesi~1

Reasoning and method in economics : an introduction to economic methodology

2024-11-10T09:11:34Z

Yazar Stewart, Ian Marshall Thomson.Katovzian, Homa.
Yer Numarası HB 131 S49 1979
Format: Kitap
Durum Beytepe Kütüphanesi~1

Reasoning and research : a guide for social science methods

2024-11-10T09:11:34Z

Yazar Batten, Thelma Frances (Williams), 1930-
Yer Numarası H 62 B352 1971
Format: Kitap
Durum Beytepe Kütüphanesi~1

The Diagnosis of reasoning in the mentally retarded

2024-11-10T09:11:34Z

Yazar Inhelder, Barbel
Yer Numarası WM 300 INH 1968 1.K
Format: Kitap
Durum Sağlık Bilimleri Kütüphanesi~1

Coherent systems

2024-11-10T09:11:34Z

Yazar Schlechta, Karl.
Yer Numarası ONLINE
Elektronik Erişim ScienceDirect http://www.sciencedirect.com/science/book/9780444517890
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Creating consilience integrating the sciences and the humanities

2024-11-10T09:11:34Z

Yazar Slingerland, Edward G. (Edward Gilman) Collard, Mark.
Yer Numarası ONLINE
Elektronik Erişim Oxford scholarship online http://dx.doi.org/10.1093/acprof:oso/9780199794393.001.0001
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Handbook of modal logic

2024-11-10T09:11:34Z

Yazar Blackburn, Patrick, 1959- Benthem, J. F. A. K. van, 1949- Wolter, Frank.
Yer Numarası ONLINE
Elektronik Erişim Full text ScienceDirect http://www.sciencedirect.com/science/book/9780444516909
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

Handbook of the logic of argument and inference the turn towards the practical

2024-11-10T09:11:34Z

Yazar Gabbay, Dov M., 1945-
Yer Numarası ONLINE
Elektronik Erişim ScienceDirect http://www.sciencedirect.com/science/book/9780444506504
Format: Elektrnik Kaynak
Durum Çevrimiçi Kütüphane~1

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

2024-11-10T09:11:34Z

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

The technique of controversy : principles of dynamic logic

2024-11-10T09:11:34Z

Yazar Bogoslovsky, Boris Basil, 1890-
Yer Numarası BC 108 B65 1928 (SET)
Format: Kitap
Durum Beytepe Kütüphanesi~1

Dialectic

2024-11-10T09:11:34Z

Yazar Adler, Mortimer Jerome, 1902-
Yer Numarası BC 177 A4 1927 (SET)
Format: Kitap
Durum Beytepe Kütüphanesi~1

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

2024-11-10T09:11:34Z

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

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

2024-11-10T09:11:34Z

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-11-10T09:11:34Z

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

Artificial Intelligence in Healthcare Industry

2024-11-10T09:11:34Z

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

Handbook of Dynamic Data Driven Applications Systems Volume 2

2024-11-10T09:11:34Z

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

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-11-10T09:11:34Z

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-11-10T09:11:34Z

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

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

2024-11-10T09:11:34Z

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 General Intelligence 15th International Conference, AGI 2022, Seattle, WA, USA, August 19-22, 2022, Proceedings

2024-11-10T09:11:34Z

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

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

2024-11-10T09:11:34Z

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

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-11-10T09:11:34Z

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-11-10T09:11:34Z

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-11-10T09:11:34Z

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-11-10T09:11:34Z

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