Computer science logic : 15th international workshop, CSL 2001, 10th annual conference of the EACSL, Paris, France, September 10-13, 2001 : proceedings /

محفوظ في:
التفاصيل البيبلوغرافية
مؤلفون مشاركون: Workshop on Computer Science Logic Paris, France), European Association for Computer Science Logic. Conference
مؤلفون آخرون: Fribourg, Laurent, 1957-
التنسيق: Sách giấy
منشور في: Berlin : New York : Springer, 2001.
سلاسل:Lecture notes in computer science, 2142
الموضوعات:
الوسوم: إضافة وسم
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
الوصف
وصف مادي:xii, 614 p. : ill. ; 24 cm.
بيبلوغرافيا:Includes bibliographical references and index.
ردمك:3540425543 (pbk. : alk. paper)
تدمد:0302-9743 ;