: 10th International TBILISI Symposium on Logic, Language, and Computation, TBILLC 2013, Gudauri, Georgia, September 23-27, 20113. Revised Selected Papers
\ [edited by] Martin Aher...[et.al]
Berlin
: Springer
, 2015
1505
xiv,[333] p.
:ill
Lecture notes in computer science
; 8984
Index
Bibliography
Computer logic -- Congresses.
Programming languages (Electronic computers) -- Semantics -- Congresses.
Computational linguistics -- Congresses.
منطق کامپیوتری -- کنگره ها
زبانهای برنامهنویسی کامپیوتر -- معنی شناسی -- کنگره ها