Logic, Language, and Computation 10th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2013, Gudauri, Georgia, September 23-27, 2013. Revised Selected Papers için kapak resmi
Başlık:
Logic, Language, and Computation 10th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2013, Gudauri, Georgia, September 23-27, 2013. Revised Selected Papers
Yazar:
Aher, Martin. editor.
ISBN:
9783662469064
Basım Bilgisi:
1st ed. 2015.
Fiziksel Tanımlama:
XIV, 333 p. 47 illus. online resource.
Seri:
Theoretical Computer Science and General Issues, 8984
İçerik:
Research on aspect: Reflections and new frontiers -- Tutorial on admissible rules in Gudauri -- Deontic conflicts and multiple violations -- Admissibility and unifiability in contact logics -- F-LTAG Semantics for issues around focusing -- The dialect dictionaries for representativeness and morphological annotation in Georgian dialect corpus -- Duality and universal models for the meet-implication fragment of IPC -- Cut-elimination and proof schemata -- Towards a suppositional in-quisitive semantics -- models built from models of arithmetic -- Positive formulas in intuitionistic and minimal logic -- Unless and until: A compositional analysis -- Frame theory, dependence logic and strategies -- Uniqueness and possession: Typological evidence for type shifts in nominal determination -- Alternative semantics for Visser's propositional logics -- Between-noun comparisons -- On the licensing of argument conditionals -- Biaspectual Verbs: A marginal category?.
Tüzel Kişi Ek Girişi:
Ayırtma:
Kopya:

Rafta:*

Kütüphane
Materyal Türü
Demirbaş Numarası
Yer Numarası
Durumu/İade Tarihi
Materyal Ayırtma
Arıyor...
E-Kitap 519040-1001 XX(519040.1)
Arıyor...

On Order