• الرئیسیة
  • البحث المتقدم
  • قائمة المکتبات
  • حول الموقع
  • اتصل بنا
  • نشأة

عنوان
Logic, language, information and computation

پدید آورنده
Luke Ong, Ruy de Queiroz (eds.)

موضوع
Computer logic, Congresses,Logic, Symbolic and mathematical, Congresses

رده
QA9
.
A1
W64
2012eb

کتابخانه
کتابخانه مطالعات اسلامی به زبان های اروپایی

محل استقرار
استان: قم ـ شهر: قم

کتابخانه مطالعات اسلامی به زبان های اروپایی

تماس با کتابخانه : 32910706-025

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

الاقتراح / اعلان الخلل

تحذیر! دقق في تسجیل المعلومات
ارسال عودة
تتم إدارة هذا الموقع عبر مؤسسة دار الحديث العلمية - الثقافية ومركز البحوث الكمبيوترية للعلوم الإسلامية (نور)
المكتبات هي المسؤولة عن صحة المعلومات كما أن الحقوق المعنوية للمعلومات متعلقة بها
برترین جستجوگر - پنجمین جشنواره رسانه های دیجیتال