عنوان
پدید آورنده
موضوع
رده
QA,76.9,.L63,I565,2005
QA
,
76
.
9
,.
L63
,
I565
,
2005
کتابخانه
محل استقرار
alk. paper)
9783540751434 (softcover
IR
ebook48729
انگلیسی
IR
Logic, language, and computation
[Electronic Resource]
:6th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2005, Batumi, Georgia, September 12-16, 2005 : revised selected papers
/ Balder D. ten Cate, Henk W. Zeevat (eds.)
Berlin ;New York
: Springer,
, c2007.
xii, 280 p.
: ill. ; 24 cm.
(LNCS sublibrary.SL 7,Artificial intelligence)
(Lecture notes in computer science,0302-9743
; 4363.Lecture notes in artificial intelligence.FoLLI publications on logic, language and information)
e
Lecture notes in computer science
Lecture notes in computer science.Lecture notes in artificial intelligence.FoLLI publications on logic, language and information
4363
Computer logic--Congresses
Programming languages (Electronic computers)--Semantics--Congresses
Computational linguistics--Congresses
410
.
285
QA
,
76
.
9
,.
L63
,
I565
,
2005
Cate, Balder David ten
Zeevat, Henk� 1952
International Tbilisi Symposium on Logic, Language, and Computation(6th :2005 :Batumi, Georgia)
ایران
20180224
410.285
9783540751434.pdf
0
0
old catalog
e
BL
279232
1
a
Y
