عنوان
پدید آورنده
موضوع
رده
QA9.A1 W64 2012eb
QA9
.
A1
W64
2012eb
کتابخانه
محل استقرار
3642326218 (electronic bk.)
9783642326219 (electronic bk.)
364232620X
9783642326202
b434773
Logic, language, information and computation
[Book]
19th international workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012 : proceedings /
Luke Ong, Ruy de Queiroz (eds.)
New York :
Springer,
c2012
1 online resource (xii, 335 p.) :
ill
FoLLI publications on logic, language and information
Lecture notes in computer science,
LNCS sublibrary. SL 1, Theoretical computer science and general issues
7456
0302-9743 ;
Includes bibliographical references and index
Logic, language, information and computation.
OhioLINK electronic book center (Online)
SpringerLink
WoLLIC 2012
Computer logic, Congresses
Logic, Symbolic and mathematical, Congresses
005
.
13/1
23
QA9
.
A1
QA9
.
A1
W64
2012eb
W64
2012eb
Ong, Luke
Queiroz, Ruy J. G. B. de
WoLLIC (Workshop)(19th :2012 :, Buenos Aires, Argentina)
20130304114535.0
مطالعه متن کتاب [Book]
Y
