عنوان
پدید آورنده
موضوع
رده
QA 76 .L28 Vol.68
QA
76
.
L28
Vol
.
68
کتابخانه
محل استقرار
First-order dynamic logic
Berlin
Springer-Verlag
1979
133p.: ill
Lecture notes in computer science; 86
Revised version of the author's thesis, M.I.T., 1978
Bibliography: p.]127[-133
ISBN: 3540092374
David Harel
1
، Computer programming
، Logic, Symbolic and mathematical
، Recursion theory
QA
76
.
L28
Vol
.
68
Harel, David, 0591-
AU
TI
SE
