Skip to main navigation
Skip to main content
toggle menu
info(at)avldigital.
remove-this.
de
Deutsch
English
Subscribe to announcements
Submit announcement
Login
Search the whole website
Finding literature
Open
Content profile
Data sources
Acquisition strategy
SIS licences
Publishing
Open
CompaRe: Open Access
Search in CompaRe
E-journal hosting
Networking
Open
Researchers
Calls for Papers
Dissertations
Events
Vacancies and scholarships
Projects and research
Institutions
Websites
Blog
Subscribe to announcements
Submit announcement
Login
You are here
avldigital.de
Search Results
Narrow Search
Search narrowed by
Computational semantics
Remove all filters
Type
Publications
(1)
Source
Union catalogues
(1)
Format
Print
(1)
Contributor
Chatzikyriakidis, Stergios
(1)
Media type
Book
(1)
Language
English
(1)
Year
2018
(1)
Last searches
*
Search the whole website
Search
Results for *
Displaying results 1 to 1 of 1.
Sort search results
Relevance
Title
Type
Author
Created
Relevance
Title
Type
Author
Created
Modern Perspectives in Type-Theoretical Semantics
Contributor:
Chatzikyriakidis, Stergios
(Publisher)
Published:
2018
Publisher: Springer International Publishing, Cham ; Springer
Bibliographic information
Summary
Export
Export to reference management software
 
RIS file
 
BibTeX file
Content information
Inhaltstext
http://www.springer.com/
Source:
Union catalogues
Contributor:
Chatzikyriakidis, Stergios
(Publisher)
Language:
English
Media type:
Book
Format:
Print
ISBN:
9783319843971
;
3319843974
Other identifier:
9783319843971
Edition:
Softcover reprint of the original 1st edition 2017
Series:
Studies in Linguistics and Philosophy
Other subjects:
(Produktform)Paperback / softback
;
(BISAC Subject Heading)LAN016000
;
(BISAC Subject Heading)CFG
;
Anaphora
;
Computation in natural language context
;
Computational semantics
;
Formal semantics
;
Generalized Quantifiers on dependent types
;
Grail theorem prover
;
Lexical semantics
;
Natural language semantics
;
Type theory
;
Type-logical grammars
;
Unbound anaphora
;
(BISAC Subject Heading)LAN009000
;
(BISAC Subject Heading)PHI011000
;
(BISAC Subject Heading)COM014000
;
(BIC subject category)CFX
;
(BIC subject category)HPL
;
(BIC subject category)H
;
(Springer Nature Subject Collection)SUCO41176: Social Sciences
;
(Springer Nature Marketing Classification)B
;
(Springer Nature Subject Code)SCN39000: Semantics
;
(Springer Nature Subject Code)SCN22000: Computational Linguistics
;
(Springer Nature Subject Code)SCE16000: Logic
;
(Springer Nature Subject Code)SCI23036: Computer Appl. in Arts and Humanities
;
(BISAC Subject Heading)LAN016000
;
(BIC subject category)CFG
;
(VLB-WN)1561: Hardcover, Softcover / Sprachwissenschaft, Literaturwissenschaft/Allgemeine und Vergleichende Sprachwissenschaft
Scope:
VIII, 296 Seiten, 49 Illustrationen, 23.5 cm x 15.5 cm