عنوان
پدید آورنده
موضوع
رده
QA 76 .9 .M35 .I57 1988
QA
76
.
9
.
M35
.
I57
1988
کتابخانه
محل استقرار
91712
آخر۲۷
English
)20(
COLOG-88: International Conference on Computer Logic Tallinn, USSR, December 12-16, 1988: proceedings
Berlin; New York
Springer-Verlag
1990
vi, 338 p.; 25 cm
Lecture notes in computer science
417
Includes bibliographical references
Mathematics Congresses ، Computer science
Congresses ، Logic, Symbolic and mathematical
QA
76
.
9
.
M35
.
I57
1988
AU
P. Martin-Lof, G. Mints, eds
AU reP ,foL-nitraM 1942-
AU E .G ,stniM
TI
SE
International Conference on Computer Logic)1988: Tallinn, Estonia(
02
