Clear Search

Books+ Search Results

Subject: "Computer science"
LC Class: Is
Is Is Not
B - Philosophy, Psychology, Religion

Advanced Search

Basic Search
Help
Add a row
Reset

Limit results by

Show Online Results Only
Online Results (91)
1.
Tests and Proofs 17th International Conference, TAP 2023, Leicester, UK, July 18-19, 2023, Proceedings
Published
Cham : Springer Nature Switzerland : Imprint: Springer, 2023.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
2.
Handbook of Logical Thought in India
Published
New Delhi : Springer India : Imprint: Springer, 2022.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
3.
Similarity measures for face recognition
Author
Vezzetti, Enrico
Published
Sharjah, United Arab Emirates : Bentham Science Publishers, 2015.
©2015
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
4.
Leo Esakia on Duality in Modal and Intuitionistic Logics
Author
Bezhanishvili, Guram
Published
Dordrecht : Springer Netherlands : Imprint: Springer, 2014.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
5.
Rethinking Logic: Logic in Relation to Mathematics, Evolution, and Method
Author
Cellucci, Carlo
Published
Dordrecht : Springer Netherlands : Imprint: Springer, 2013.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
6.
Logic, Language, and Computation 6th International Tbilisi Symposium on Logic, Language, and Computation. Batumi, Georgia, September 12-16, 2005, Revised Selected Papers
Published
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
7.
Reasoning Robots The Art and Science of Programming Robotic Agents
Author
Thielscher, Michael
Published
Dordrecht : Springer Netherlands, 2005.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
8.
The Semantics and Proof Theory of the Logic of Bunched Implications
Author
Pym, David J.
Published
Dordrecht : Springer Netherlands : Imprint: Springer, 2002.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
9.
Goal-Directed Proof Theory
Author
Gabbay, Dov M.
Published
Dordrecht : Springer Netherlands : Imprint: Springer, 2000.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
10.
Human and Machine Problem Solving
Author
Gilhooly, K. J.
Published
Boston, MA : Springer US, 1989.
Online
https://yale.idm.oclc.org/login?URL=http://dx.doi.org/10.1007/978-1-4684-8015-3
Location
Yale Internet Resource >> None
Format
Books / Online
11.
Knowledge Acquisition for Expert Systems A Practical Handbook
Author
Kidd, Alison L.
Published
Boston, MA : Springer US, 1987.
Online
https://yale.idm.oclc.org/login?URL=http://dx.doi.org/10.1007/978-1-4613-1823-1
Location
Yale Internet Resource >> None
Format
Books / Online
12.
Historical Foundations of Cognitive Science
Published
Dordrecht : Springer Netherlands, 1990.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
13.
Logique & informatique
Published
Louvain-la-Neuve : Université Catholique de Louvain, Département de philosophie : Cabay, 1986.
Location
Library Shelving Facility (LSF) >> BC135 C25 6 (LC)
Format
Books
14.
Arnon Avron on Semantics and Proof Theory of Non-Classical Logics
Published
Cham : Springer International Publishing : Imprint: Springer, 2021.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
15.
What Does it Mean to be Human? Life, Death, Personhood and the Transhumanist Movement
Author
Doyle, D. John
Published
Cham : Springer International Publishing : Imprint: Springer, 2018.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
16.
Linking Game-Theoretical Approaches with Constructive Type Theory Dialogical Strategies, CTT demonstrations and the Axiom of Choice
Author
Clerbout, Nicolas
Published
Cham : Springer International Publishing : Imprint: Springer, 2015.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
17.
Bas van Fraassen’s Approach to Representation and Models in Science
Published
Dordrecht : Springer Netherlands : Imprint: Springer, 2014.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
18.
Epistemology, Context, and Formalism
Published
Cham : Springer International Publishing : Imprint: Springer, 2014.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
19.
The Ethics of Information Warfare
Author
Floridi, Luciano
Published
Cham : Springer International Publishing : Imprint: Springer, 2014.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
20.
Muslims and the New Information and Communication Technologies Notes from an Emerging and Infinite Field
Author
Hoffmann, Thomas
Published
Dordrecht : Springer Netherlands : Imprint: Springer, 2013.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
21.
Reality, universal ontology, and knowledge systems : toward the intelligent world
Author
Abdoullaev, Azamat
Published
Hershey, PA : IGI Pub., c2008.
Location
Library Shelving Facility (LSF) >> BD331 .A29X 2008 (LC)
Format
Books
22.
Understanding beliefs
Author
Nilsson, Nils J., 1933-2019
Published
Cambridge, Massachusetts : MIT Press, [2014]
©2014
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
23.
Understanding beliefs
Author
Nilsson, Nils J., 1933-2019
Published
Cambridge, Massachusetts : MIT Press, [2014]
©2014
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
24.
Heyting Algebras Duality Theory
Author
Esakia, Leo
Published
Cham : Springer International Publishing : Imprint: Springer, 2019.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
25.
Immanent Reasoning or Equality in Action A Plaidoyer for the Play Level
Author
Rahman, Shahid
Published
Cham : Springer International Publishing : Imprint: Springer, 2018.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
26.
Context, Conflict and Reasoning Proceedings of the Fifth Asian Workshop on Philosophical Logic
Published
Singapore : Springer Singapore : Imprint: Springer, 2020.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
27.
Dynamic Epistemic Logic
Author
Ditmarsch, Hans van
Published
Dordrecht : Springer Netherlands, 2008.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
28.
Scientific Visualization: The Visual Extraction of Knowledge from Data
Published
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
29.
Philosophical Logic and Artificial Intelligence
Author
Thomason, Richmond H.
Published
Dordrecht : Springer Netherlands, 1989.
Online
https://yale.idm.oclc.org/login?URL=http://dx.doi.org/10.1007/978-94-009-2448-2
Location
Yale Internet Resource >> None
Format
Books / Online
30.
Prose Comprehension Beyond the Word
Author
Graesser, Arthur C.
Published
New York, NY : Springer New York, 1981.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
31.
Dynamical Models In Neurocognitive Psychology
Author
Engbert, Ralf
Published
Cham : Springer International Publishing : Imprint: Springer, 2021.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
32.
Philosophical and Mathematical Logic
Author
de Swart, Harrie
Published
Cham : Springer International Publishing : Imprint: Springer, 2018.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
33.
Common sense, the Turing Test, and the quest for real AI
Author
Levesque, Hector J., 1951-
Published
Cambridge, Massachusetts ; London, England : The MIT Press, [2017]
©2017
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
34.
Logic, Rationality, and Interaction 9th International Workshop, LORI 2023, Jinan, China, October 26-29, 2023, Proceedings
Published
Cham : Springer Nature Switzerland : Imprint: Springer, 2023.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
35.
Exploring Transdisciplinarity in Art and Sciences
Published
Cham : Springer International Publishing : Imprint: Springer, 2018.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
36.
Aesthetics and Neuroscience Scientific and Artistic Perspectives
Published
Cham : Springer International Publishing : Imprint: Springer, 2016.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
37.
Mechanisms in classical conditioning : a computational approach
Author
Schmajuk, Nestor A.
Published
New York : Cambridge University Press, 2010.
Location
Library Shelving Facility (LSF) >> BF319 .S357X 2010 (LC)
Format
Books
38.
Samson Abramsky on Logic and Structure in Computer Science and Beyond
Published
Cham : Springer International Publishing : Imprint: Springer, 2023.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
39.
Ewa Orłowska on Relational Methods in Logic and Computer Science
Published
Cham : Springer International Publishing : Imprint: Springer, 2018.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
40.
Freedom and Enforcement in Action A Study in Formal Action Theory
Author
Czelakowski, Janusz
Published
Dordrecht : Springer Netherlands : Imprint: Springer, 2015.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
41.
David Makinson on Classical Methods for Non-Classical Problems
Author
Hansson, Sven Ove
Published
Dordrecht : Springer Netherlands : Imprint: Springer, 2014.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
42.
The Argument of Mathematics
Author
Aberdein, Andrew
Published
Dordrecht : Springer Netherlands : Imprint: Springer, 2013.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
43.
Logical Thinking in the Pyramidal Schema of Concepts: The Logical and Mathematical Elements
Author
Geldsetzer, Lutz
Published
Dordrecht : Springer Netherlands : Imprint: Springer, 2013.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
44.
Reasoning about knowledge
Published
Cambridge, Mass. : MIT Press, 2003.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
45.
Domains and Processes Proceedings of the 1st International Symposium on Domain Theory Shanghai, China, October 1999
Author
Keimel, Klaus
Published
Dordrecht : Springer Netherlands : Imprint: Springer, 2001.
Online
https://yale.idm.oclc.org/login?URL=http://dx.doi.org/10.1007/978-94-010-0654-5
Location
Yale Internet Resource >> None
Format
Books / Online
46.
Labelled Non-Classical Logics
Author
Viganò, Luca
Published
Boston, MA : Springer US : Imprint: Springer, 2000.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
47.
Directions in Relevant Logic
Author
Norman, Jean
Published
Dordrecht : Springer Netherlands, 1989.
Online
https://yale.idm.oclc.org/login?URL=http://dx.doi.org/10.1007/978-94-009-1005-8
Location
Yale Internet Resource >> None
Format
Books / Online
48.
Internet of Things and Its Applications
Published
Cham : Springer International Publishing : Imprint: Springer, 2022.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
49.
Cognitive Theoretical Foundations of Creativity How Creativity Evolves in the Mind
Author
Testor, Karl
Published
Cham : Springer International Publishing : Imprint: Springer, 2020.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
50.
Reflections on Programming Systems Historical and Philosophical Aspects
Published
Cham : Springer International Publishing : Imprint: Springer, 2018.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
51.
Paraconsistency: Logic and Applications
Author
Tanaka, Kōji
Published
Dordrecht : Springer Netherlands : Imprint: Springer, 2013.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
52.
Formal Ontology and Conceptual Realism
Author
Cocchiarella, Nino B.
Published
Dordrecht : Springer Netherlands, 2007.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
53.
Ontologies for Agents: Theory and Experiences
Published
Basel : Birkhäuser Basel : Imprint: Birkhäuser, 2005.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
54.
Analogy, metaphor, and reminding
Published
Norwood, N.J. : Ablex Pub., c1994.
Location
Library Shelving Facility (LSF) >> QA76.87 A375 3 (LC)
Format
Books
55.
Mereology and the Sciences Parts and Wholes in the Contemporary Scientific Context
Author
Calosi, Claudio
Published
Cham : Springer International Publishing : Imprint: Springer, 2014.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
56.
Scientific Discovery in the Social Sciences
Published
Cham : Springer International Publishing : Imprint: Springer, 2019.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
57.
Qualitative representations : how people reason and learn about the continuous world
Author
Forbus, Kenneth D.
Published
Cambridge : The MIT Press, [2018]
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
58.
Qualitative representations : how people reason and learn about the continuous world
Author
Forbus, Kenneth D.
Published
Cambridge : The MIT Press, [2018]
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
59.
State Space Grids Depicting Dynamics Across Development
Author
Hollenstein, Tom
Published
Boston, MA : Springer US : Imprint: Springer, 2013.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
60.
Agency, Norms, Inquiry, and Artifacts: Essays in Honor of Risto Hilpinen
Published
Cham : Springer International Publishing : Imprint: Springer, 2022.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
61.
A Primer on Multiple Intelligences
Author
Sadiku, Matthew N. O.
Published
Cham : Springer International Publishing : Imprint: Springer, 2021.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
62.
Memory and Technology How We Use Information in the Brain and the World
Author
Finley, Jason R.
Published
Cham : Springer International Publishing : Imprint: Springer, 2018.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
63.
Extended Cognition and the Dynamics of Algorithmic Skills
Author
Pinna, Simone
Published
Cham : Springer International Publishing : Imprint: Springer, 2017.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
64.
Neighborhood Semantics for Modal Logic
Author
Pacuit, Eric
Published
Cham : Springer International Publishing : Imprint: Springer, 2017.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
65.
Mind and mechanism
Author
McDermott, Drew V.
Published
Cambridge, Mass. : MIT Press, ©2001.
©2001
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
66.
Mind and mechanism
Author
McDermott, Drew V.
Published
Cambridge, Mass. : MIT Press, ©2001.
©2001
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
67.
Conceptual Spaces: Elaborations and Applications
Published
Cham : Springer International Publishing : Imprint: Springer, 2019.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
68.
Cognitive Training An Overview of Features and Applications
Published
Cham : Springer International Publishing : Imprint: Springer, 2021.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
69.
Emotion and Information Processing A Practical approach
Published
Cham : Springer International Publishing : Imprint: Springer, 2020.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
70.
Cognitive Neuroscience of Memory Consolidation
Published
Cham : Springer International Publishing : Imprint: Springer, 2017.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
71.
Mental Health in the Digital Age
Author
Bauman, Sheri
Published
Cham : Springer International Publishing : Imprint: Palgrave Macmillan, 2023.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
72.
The Mystery of Rationality Mind, Beliefs and the Social Sciences
Published
Cham : Springer International Publishing : Imprint: Springer, 2018.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
73.
Handbook of Spatial Logics
Published
Dordrecht : Springer Netherlands : Imprint: Springer, 2007.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
74.
Logic and linguistics
Published
Hove (UK) ; Hillsdale (USA) : L. Erlbaum, c1989.
Location
Library Shelving Facility (LSF) >> BF311 L63 1989 (LC)
Format
Books
75.
Degrees of Belief
Published
Dordrecht : Springer Netherlands, 2009.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
76.
Sémiotique du visage futur
Published
Roma : Aracne, 14 mars 2023.
Location
SML, Stacks, LC Classification >> B105.F29 S46 2023 (LC)
Format
Books
77.
Philosophy and Theory of Artificial Intelligence 2021
Published
Cham : Springer International Publishing : Imprint: Springer, 2022.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
78.
Meaning and Proscription in Formal Logic Variations on the Propositional Logic of William T. Parry
Author
Ferguson, Thomas Macaulay
Published
Cham : Springer International Publishing : Imprint: Springer, 2017.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
79.
Imitation in animals and artifacts
Published
Cambridge, Mass. : MIT Press, ©2002.
©2002
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
80.
Imitation in animals and artifacts
Published
Cambridge, Mass. : MIT Press, ©2002.
©2002
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
81.
Anigrafs : experiments in cooperative cognitive architecture
Author
Richards, Whitman
Published
Cambridge, Massachusetts ; London, England : The MIT Press, [2015]
©2015
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
82.
Anigrafs : experiments in cooperative cognitive architecture
Author
Richards, Whitman
Published
Cambridge, Massachusetts ; London, England : The MIT Press, [2015]
©2015
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
83.
Eye-Tracking with Python and Pylink
Author
Wang, Zhiguo
Published
Cham : Springer International Publishing : Imprint: Springer, 2021.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
84.
Eliciting and analyzing expert judgment a practical guide
Author
Meyer, Mary A.
Published
Philadelphia, Pa. : Society for Industrial and Applied Mathematics (SIAM, 3600 Market Street, Floor 6, Philadelphia, PA 19104), 2001.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
85.
Logic, Language, Information, and Computation 28th International Workshop, WoLLIC 2022, Iași, Romania, September 20-23, 2022, Proceedings
Published
Cham : Springer International Publishing : Imprint: Springer, 2022.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
86.
The interpretation of visual motion
Author
Ullman, Shimon
Published
Cambridge, Mass. : MIT Press, ©1979.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
87.
Nonclassical Logics and Their Applications Post-proceedings of the 8th International Workshop on Logic and Cognition
Published
Singapore : Springer Singapore : Imprint: Springer, 2020.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
88.
What Is Thought?
Author
Baum, Eric B., 1957-
Published
Cambridge, Mass. : MIT Press, ©2004.
©2004
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
89.
What Is Thought?
Author
Baum, Eric B., 1957-
Published
Cambridge, Mass. : MIT Press, ©2004.
©2004
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
90.
Social computing, behavioral modeling, and prediction
Published
New York ; London : Springer, 2008.
Location
MARX Library >> BF39 .S645 2008 (LC)
Format
Books
91.
Resistance, Liberation Technology and Human Rights in the Digital Age
Author
Ziccardi, Giovanni
Published
Dordrecht : Springer Netherlands : Imprint: Springer, 2013.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
92.
Digital social mind
Author
Bolender, John
Published
Exeter, UK : Imprint Academic, [2011]
©2011
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
93.
Proceedings of the International Conference on Formal Ontology in Information Systems
Author
FOIS (Conference)
Published
[New York, N.Y.] : Association for Computing Machinery
Online
Full text via ACM Portal:
Location
Yale Internet Resource >> None
Format
Journals & Newspapers / Online
94.
Distant Connections: The Memory Basis of Creative Analogy
Author
Trench, Máximo
Published
Cham : Springer International Publishing : Imprint: Springer, 2020.
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
95.
The Psychology of expertise : cognitive research and empirical AI
Published
New York : Springer-Verlag, c1992.
Location
SML, Stacks, LC Classification >> BF378 E94 P77X 1992 (LC)
Format
Books
96.
The Psychology of expertise : cognitive research and empirical AI
Published
New York : Springer-Verlag, c1992.
Online
Online book (login required)
Location
Internet Archive >> None
Format
Books
97.
Classification in the wild : the science and art of transparent decision making
Author
Katsikopoulos, Konstantinos V.
Published
Cambridge, Massachusetts : The MIT Press, [2020]
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
98.
Classification in the wild : the science and art of transparent decision making
Author
Katsikopoulos, Konstantinos V.
Published
Cambridge, Massachusetts : The MIT Press, [2020]
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
99.
Classification in the wild : the science and art of transparent decision making
Author
Katsikopoulos, Konstantinos V.
Published
Cambridge, Massachusetts : The MIT Press, [2020]
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online
100.
History of Modern Psychology : Lectures Delivered at ETH Zurich, Volume 1, 1933-1934
Author
Jung, C. G.
Published
Princeton, NJ : Princeton University Press, [2018]
©2019
Online
Online book
Location
Yale Internet Resource >> None
Format
Books / Online