عنوان
پدید آورنده
موضوع
رده
P 39 .L644 2015 E-Book ,
P
39
.
L644
2015
E-Book
,
کتابخانه
محل استقرار
:9783662477083
11802
انگلیسی
Logic, language, information, and computation
[electronic resources]
: 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings
\ Valeria de Paiva, Ruy de Queiroz, Lawrence S. Moss, Daniel Leivant, Anjolina G. de Oliveira (eds.)
Berlin
: Springer
, 2015
xx,[200] p
Lecture Notes in Computer Science
; 9160
Index
Bibliography
.Language and logic -- Congresses.
Symbolic and Algebraic Manipulation.
Mathematical Logic and Formal Languages
زبان و منطق -- کنگره ها
منطق ریاضی و زبانهای صوری
P
39
.
L644
2015
E-Book
,
De Paiva, Valeria
Queiroz, Ruy J. G. B. de
کیروس، روی ج. جی. بی. د
Moss, Lawrence Stuart, 1959-
Leivant, Daniel Maurice Raphaël
Oliveira, Anjolina G. de
Workshop on Logic, Language, Information and Computation (22nd : 2015 : Bloomington, Ind.)
ایران
20161006
9783662477083.pdf
p
BL
279177
1
a
Y
