عنوان
پدید آورنده
موضوع
رده
QA 9 .A1W65 1989
QA
9
.
A1W65
1989
کتابخانه
محل استقرار
Logic from computer science : Proceedings of a Workshop held November 13-17, 1989
1989: Berkeley, Calif
Berlin
Springer-Verlag
1992
xi, 608p.: ill
Mathematical Sciences Research Institute publications; 12
Includes bibliograpies
ISBN: 3540976671
Yiannis Moschovakis, editor
1
Congresses ، Logic, Symbolic and mathematical
Congresses ، Computer science
QA
9
.
A1W65
1989
AU
AU Moschovakis, Yiannis Nicholas, 1938-
CO Mathematical Sciences Research Institute )Berkeley, Calif.(
TI 1989
SE
Workshop on Logic from Computer Science
