Search ResultsElectronic Resources
Limit Search Results
Author
Gabbay, Dov M., 1945-
(4)
Benthem, Johan van, 1949-
(3)
Woods, John (John Hayden)
(3)
American Association for Artificial Intelligence.
(2)
Bergstra, J. A.
(2)
Material Type
Language
English
(104)
Publication Date
-
Subject
Electronic books.
(104)
COMPUTERS -- Intelligence (AI) & Semantics.
(18)
COMPUTERS -- Enterprise Applications -- Business Intelligence Tools.
(17)
Conference papers and proceedings.
(17)
Logic, Symbolic and mathematical.
(16)
Library
Switch to list view
Switch to thumbnail view
Select an Action
104 Results Found Subscribe to search results
000000000000DEFAULT
Print
Select a list
Make this your default list.
The following items were successfully added.
    There was an error while adding the following items. Please try again.
      Cover image for A transfinite type theory with type variables
      37. 
      A transfinite type theory with type variables
      by 
      Andrews, P. B. (Peter Bruce), 1937-
      ScienceDirect http://www.sciencedirect.com/science/book/9780444534026
      ScienceDirect https://www.sciencedirect.com/science/publication?issn=0049237X&volume=37
      Format: 
      Excerpt: 
      semantics of the System Q₀.
      Cover image for Thinking computers and virtual persons : essays on the intentionality of machines
      38. 
      Thinking computers and virtual persons : essays on the intentionality of machines
      by 
      Dietrich, Eric.
      ScienceDirect http://www.sciencedirect.com/science/book/9780122154959
      Format: 
      Excerpt: 
      / Michael Dyer -- Putting one's foot in one's head--part II : how? / Donald Perlis -- Syntactic semantics
      Cover image for A Comparative study of parallel programming languages : the Salishan problems
      39. 
      A Comparative study of parallel programming languages : the Salishan problems
      by 
      Feo, John T., 1955-
      ScienceDirect http://www.sciencedirect.com/science/book/9780444881359
      Format: 
      Excerpt: 
      description of the language's philosophy, semantics and syntax, and a solution to each problem. By considering
      Cover image for Logic Colloquium '84 : proceedings of the colloquium held in Manchester, U.K., July 1984
      40. 
      Logic Colloquium '84 : proceedings of the colloquium held in Manchester, U.K., July 1984
      by 
      Logic Colloquium '84 (1984 : Manchester)
      ScienceDirect https://www.sciencedirect.com/science/book/9780444879998
      ScienceDirect https://www.sciencedirect.com/science/publication?issn=0049237X&volume=120
      ScienceDirect https://www.sciencedirect.com/science/bookseries/0049237X/120
      Format: 
      Excerpt: 
      topics treated are the model theory of arithmetic and algebra, the semantics of natural languages, and
      Cover image for Language, cognitive deficits, and retardation
      41. 
      Language, cognitive deficits, and retardation
      by 
      O'Connor, Neil.
      ScienceDirect https://www.sciencedirect.com/science/book/9780407000070
      Format: 
      Excerpt: 
      between semantics and syntax. It discusses the acquisition of the rules governing them and their
      Cover image for The psychology of learning and motivation : advances in research and theory. Volume 8
      42. 
      The psychology of learning and motivation : advances in research and theory. Volume 8
      by 
      Bower, Gordon H.
      to access electronic resource
      ScienceDirect http://www.sciencedirect.com/science/book/9780125433082
      Format: 
      Excerpt: 
      Semantic memory and psychological semantics / Edward E. Smith, Lance J. Rips and Edward J. Shoben
      Cover image for Cognitive development and the acquisition of language
      43. 
      Cognitive development and the acquisition of language
      by 
      Moore, Timothy E., editor.
      ScienceDirect https://www.sciencedirect.com/science/book/9780125058506
      Format: 
      Excerpt: 
      -deZwart -- Space, time, semantics, and the child / Herbert H. Clark -- What's in a word? on the child's acquisition
      Cover image for Intuitionistic logic, model theory and forcing.
      44. 
      Intuitionistic logic, model theory and forcing.
      by 
      Fitting, Melvin, 1942-
      ScienceDirect https://www.sciencedirect.com/science/book/9780444534187
      ScienceDirect https://www.sciencedirect.com/science/bookseries/0049237X/54
      ScienceDirect https://www.sciencedirect.com/science/publication?issn=0049237X&volume=54
      Format: 
      Excerpt: 
      -- Related systems of logic -- First order intuitionistic logic semantics -- First order intuitionistic logic
      Cover image for A study in the philosophy of science
      45. 
      A study in the philosophy of science
      by 
      Beth, Evert Willem.
      ScienceDirect http://www.sciencedirect.com/science/book/9780444533906
      Format: 
      Excerpt: 
      -- Introduction -- Survey of symbolic logic -- Finitary theory of proof -- Syntax -- Semantics -- Logicism
      Cover image for Handbook of categorization in cognitive science
      46. 
      Handbook of categorization in cognitive science
      by 
      Cohen, Henri, 1945-
      ScienceDirect https://www.sciencedirect.com/science/book/9780080446127
      Format: 
      Excerpt: 
      language, semantics, or categorization will want to have this encyclopedic collection." Professor Eleanor
      Cover image for Bioinformatics : managing scientific data
      47. 
      Bioinformatics : managing scientific data
      by 
      Lacroix, Zoé.
      ScienceDirect http://www.sciencedirect.com/science/book/9781558608290
      ScienceDirect https://www.sciencedirect.com/science/book/9781558608290
      Format: 
      Excerpt: 
      identify and access this information because of the variety of semantics, interfaces, a.
      Cover image for Ruby developer's guide
      48. 
      Ruby developer's guide
      by 
      Feldt, Robert.
      ScienceDirect https://www.sciencedirect.com/science/book/9781928994640
      Format: 
      Excerpt: 
      , Java, Eiffel, and C++; Ruby is popular because of its straight forward syntax and transparent semantics
      Select an Action