Atjaunināt sīkdatņu piekrišanu

Logic, Language, and Computation: 10th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2013, Gudauri, Georgia, September 23-27, 2013. Revised Selected Papers 2015 ed. [Mīkstie vāki]

Edited by , Edited by , Edited by , Edited by
  • Formāts: Paperback / softback, 333 pages, height x width: 235x155 mm, weight: 534 g, 47 Illustrations, black and white; XIV, 333 p. 47 illus., 1 Paperback / softback
  • Sērija : Lecture Notes in Computer Science 8984
  • Izdošanas datums: 19-May-2015
  • Izdevniecība: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
  • ISBN-10: 3662469057
  • ISBN-13: 9783662469057
Citas grāmatas par šo tēmu:
  • Mīkstie vāki
  • Cena: 46,91 €*
  • * ši ir gala cena, t.i., netiek piemērotas nekādas papildus atlaides
  • Standarta cena: 55,19 €
  • Ietaupiet 15%
  • Grāmatu piegādes laiks ir 3-4 nedēļas, ja grāmata ir uz vietas izdevniecības noliktavā. Ja izdevējam nepieciešams publicēt jaunu tirāžu, grāmatas piegāde var aizkavēties.
  • Daudzums:
  • Ielikt grozā
  • Piegādes laiks - 4-6 nedēļas
  • Pievienot vēlmju sarakstam
  • Formāts: Paperback / softback, 333 pages, height x width: 235x155 mm, weight: 534 g, 47 Illustrations, black and white; XIV, 333 p. 47 illus., 1 Paperback / softback
  • Sērija : Lecture Notes in Computer Science 8984
  • Izdošanas datums: 19-May-2015
  • Izdevniecība: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
  • ISBN-10: 3662469057
  • ISBN-13: 9783662469057
Citas grāmatas par šo tēmu:

This book constitutes the refereed proceedings of the 10th International Tbilisi Symposium on Logic, Language and Computation, TbiLLC 2013, held in Gudauri, Georgia, in September 2013. The conference series is centered around the interaction between logic, language and computation. The contributions represent these three fields and the symposia aim to foster interaction between them.

The book consists of 16 papers that were carefully reviewed and selected from 26 submissions. Each paper has passed through a rigorous peer-review process before being accepted for publication. The volume also contains two summaries of the tutorials that took place at the symposium: the one on admissible rules and the one on the formal semantics of aspectual meaning from a cross-linguistic perspective.

Research on Aspect: Reflections and New Frontiers
1(9)
Daniel Altshuler
Tutorial on Admissible Rules in Gudauri
10(8)
Rosalie Iemhoff
Deontic Conflicts and Multiple Violations
18(26)
Martin Aher
Admissibility and Unifiability in Contact Logics
44(17)
Philippe Balbiani
Cigdem Gencer
F-LTAG Semantics for Issues Around Focusing
61(21)
Kata Balogh
Dialect Dictionaries in the Georgian Dialect Corpus
82(15)
Marina Beridze
Liana Lortkipanidze
David Nadaraia
Duality and Universal Models for the Meet-Implication Fragment of IPC
97(20)
Nick Bezhanishvili
Dion Coumans
Samuel J. van Gool
Dick de Jongh
Cut-Elimination and Proof Schemata
117(20)
Cvetan Dunchev
Alexander Leitsch
Mikheil Rukhaia
Daniel Weller
Towards a Suppositional Inquisitive Semantics
137(20)
Jeroen Groenendijk
Floris Roelofsen
Kripke Models Built from Models of Arithmetic
157(18)
Paula Henk
Positive Formulas in Intuitionistic and Minimal Logic
175(15)
Dick de Jongh
Zhiguang Zhao
Unless and Until: A Compositional Analysis
190(20)
Gary Mar
Yuliya Manyakina
Amanda Caffary
Frame Theory, Dependence Logic and Strategies
210(24)
Ralf Naumann
Wiebke Petersen
Uniqueness and Possession: Typological Evidence for Type Shifts in Nominal Determination
234(23)
Albert Ortmann
Alternative Semantics for Visser's Prepositional Logics
257(19)
Katsuhiko Sano
Minghui Ma
Between-Noun Comparisons
276(14)
Galit W. Sassoon
On the Licensing of Argument Conditionals
290(20)
Kerstin Schwabe
Biaspectual Verbs: A Marginal Category?
310(23)
Yulia Zinova
Hana Filip
Author Index 333