عنوان
پدید آورنده
موضوع
رده
QA 76 .L28 Vol.417
QA
76
.
L28
Vol
.
417
کتابخانه
محل استقرار
COLOG-88 : International Conference on Computer Logic Tallinn, USSR, December 12-16, 1988 : proceedings
1988: Tallinn, Estonia
Berlin
Springer-Verlag
c1990
vi, 338p.
Lecture notes in computer science; 714
Includes bibliographies
ISBN: 3540523359
P. Martin-Lof, G Mints, eds
1
Congresses ، Computer science -- Mathematics
Congresses ، Logic, Symbolic and mathematical
QA
76
.
L28
Vol
.
417
AU
AU Martin-Lof, Per, 1942-
AU Mints, Grigori E.
TI
SE
International Conference on Computer Logic
