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