Search ResultsElectronic Resources
Limit Search Results
Author
ProQuest (Firm)
(471)
SpringerLink (Online service)
(8)
Aksan, Doğan
(4)
Benthem, Johan van, 1949-
(4)
Dixon, Robert M. W.
(4)
Material Type
Language
Publication Date
-
Subject
Electronic books.
(730)
Semantics.
(318)
Grammar, Comparative and general -- Syntax.
(76)
Pragmatics.
(61)
Semantics (Philosophy)
(60)
Library
Shelf Location
Switch to list view
Switch to thumbnail view
Select an Action
826 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 Psychology of programming
      769. 
      Psychology of programming
      by 
      Hoc, Jean-Michel.
      ScienceDirect http://www.sciencedirect.com/science/book/9780123507723
      ScienceDirect https://www.sciencedirect.com/science/book/9780123507723
      Format: 
      Excerpt: 
      .R.G. Green -- Language semantics, mental models and analogy / Jean-Michel Hoc and Anh Nguyen
      Cover image for Logic Colloquium '87 : proceedings of the Colloquium held in Granada, Spain July 20-25, 1987
      770. 
      Cover image for Language processing in social context
      771. 
      Language processing in social context
      by 
      Dietrich, Rainer.
      ScienceDirect http://www.sciencedirect.com/science/book/9780444871442
      Format: 
      Excerpt: 
      , formal semantics, social psychology, psychology of language, artificial intelligence, and second language
      Cover image for Constructivism in mathematics : an introduction. Volume 1
      772. 
      Constructivism in mathematics : an introduction. Volume 1
      by 
      Troelstra, A. S. (Anne Sjerp)
      ScienceDirect http://www.sciencedirect.com/science/book/9780444702661
      Format: 
      Excerpt: 
      . Hilbert-type systems; 5. Kripke semantics; 6. Completeness for Kripke semantics; 7. Definitional
      Cover image for Knowledge and language
      773. 
      Knowledge and language
      by 
      Kurcz, Ida.
      ScienceDirect http://www.sciencedirect.com/science/book/9780444700667
      ScienceDirect http://www.sciencedirect.com/science/bookseries/01664115/39
      ScienceDirect https://www.sciencedirect.com/science/publication?issn=01664115&volume=39
      Format: 
      Excerpt: 
      1 SEMANTICS AND CONCEPTS; Chapter 1 On Naming Things: Remarks on the Relation between Logic and
      Cover image for Topics in the theory of computation : selected papers of the International Conference on "Foundations of Computation Theory", FCT '83, Borgholm, Sweden, August 21-27, 1983
      774. 
      Topics in the theory of computation : selected papers of the International Conference on "Foundations of Computation Theory", FCT '83, Borgholm, Sweden, August 21-27, 1983
      by 
      International FCT-Conference (1983 : Borgholm, Sweden)
      ScienceDirect http://www.sciencedirect.com/science/book/9780444876478
      ScienceDirect http://www.sciencedirect.com/science/publication?issn=03040208&volume=102
      Format: 
      Excerpt: 
      . Abstract Calculi and Denotational Semantics; 3. Theory of Machines, Computations and Languages; 4
      Cover image for Computability, complexity, and languages : fundamentals of theoretical computer science
      775. 
      Computability, complexity, and languages : fundamentals of theoretical computer science
      by 
      Davis, Martin, 1928-
      ScienceDirect http://www.sciencedirect.com/science/book/9780122063800
      Format: 
      Excerpt: 
      Predicate Logic; 2. Semantics; 3. Logical Consequence; 4. Herbrand's Theorem; 5. Unification; 6. Compactness
      Cover image for Mathematical logic in Latin America : proceedings of the IV Latin American Symposium on Mathematical Logic held in Santiago, December 1978
      776. 
      Mathematical logic in Latin America : proceedings of the IV Latin American Symposium on Mathematical Logic held in Santiago, December 1978
      by 
      Latin-American Symposium on Mathematical Logic (4th : 1978 : Santiago de Chile)
      ScienceDirect http://www.sciencedirect.com/science/book/9780444854025
      Format: 
      Excerpt: 
      Chapter 16 Problems and solutions in semantics of quantified relevant logics IChapter 17 A
      Cover image for Advances in computers. Volume 17
      777. 
      Advances in computers. Volume 17
      by 
      Yovits, M. C. (Marshall Clinton)
      ScienceDirect https://www.sciencedirect.com/science/book/9780120121175
      ScienceDirect https://www.sciencedirect.com/science/bookseries/00652458/17
      Format: 
      Excerpt: 
      ; Preface; Chapter 1. Semantics and Quantification in Natural Language Question Answering; I. Introduction
      Cover image for Logic Colloquium 76 : proceedings of a conference held in Oxford in July 1976
      778. 
      Logic Colloquium 76 : proceedings of a conference held in Oxford in July 1976
      by 
      Logic Colloquium (1976 : Oxford)
      ScienceDirect http://www.sciencedirect.com/science/book/9780720406917
      Format: 
      Excerpt: 
      The simple theory of types; Chapter 8 Set-theoretic semantics
      Cover image for Advances in computers. Volume13
      779. 
      Advances in computers. Volume13
      by 
      Rubinoff, Morris.
      ScienceDirect https://www.sciencedirect.com/science/book/9780120121137
      ScienceDirect https://www.sciencedirect.com/science/bookseries/00652458/13
      ScienceDirect http://www.sciencedirect.com/science/book/9780120121137
      Format: 
      Excerpt: 
      . Semantics and Data Structures; 5. Semantics Revisited; 6. Deduction and Related Issues; 7. English for the
      Cover image for Lightweight Programming Abstractions for Increased Safety and Performance
      780. 
      Lightweight Programming Abstractions for Increased Safety and Performance
      by 
      Osvald, Leo, author.
      http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&res_dat=xri:pqm&rft_dat=xri:pqdiss:10808010
      Format: 
      Excerpt: 
      borrowed references with Rust's semantics, including no mutable aliasing, but in a flow-insensitive setting
      Select an Action