عنوان
پدید آورنده
موضوع
رده
QA76.5 .W64 1995
QA76
.
5
.
W64
1995
کتابخانه
محل استقرار
3540600175
IR
3698en
انگلیسی
IR
Computer science logic
[Book]
:: selected papers
/ Leszek Pacholski, Jerzy Tiuryn, eds
Berlin
: Springer- Verlag
, c1995.
ix,541p.
:ill.; 24cm
(Lecture notes in computer science
; 933)
زبان: انگلیسی
Print
Includes bibliographical references
Computer science- Congresses
Logic, Symbolic and mathematical- Congresses
QA76
.
5
.
W64
1995
Pacholski, Leszek
Tiuryn, Jerzy
Workshop on Computer Science Logic (8th : 1994 : Kazimierz, Poland)
ایران
Central Library of martyr Chamran
old catalog
p
BL
1
a
Y
