عنوان
پدید آورنده
موضوع
رده
QA75,.5 .W62
QA75
,.
5
.
W62
کتابخانه
محل استقرار
IR
893
انگلیسی
IR
Computer science logic : 10th international workshop, CSL '95, Annual Conference of the EACSL, Utrecht, The Nutherlands, September 1996: selected papers
[Book]
/ Dirk Van Dalen, Marc Bezem (eds.)
Berlin
: Springer
, 1997.
VIII 471 P.
(Lecture notes in computer science, 1258)
Language: انگلیسی
Print
Includes bibliographical references And index
Computer science - Congresses
Logic, Symbolic and mathematical - Congresses
QA75
,.
5
.
W62
DAlen, Dirk Van
International Workshop on Computer Science Logic,(10th: 1996: Utrecht)
ایران
old catalog
p
BL
1
a
Y
