عنوان
پدید آورنده
موضوع
رده
QA 76 .L28 Vol.827
QA
76
.
L28
Vol
.
827
کتابخانه
محل استقرار
Temporal logic : first International Conference, ICTL'94, Bonn, Germany, July 11-14, 1994 : proceedings
1st: 1994: Bonn
Berlin
Springer-Verlag
c1994
xi, ]546[p.: ill., tables
Lecture notes in computer science; 728. Lecture notes in artificial intelligence
Includes bibliographies
ISBN: 354058241X
Dov M. Gabbay, Hans Jurgen Ohlbach )eds.(
1
، Computer programming
، Logic, Symbolic and mathematical
QA
76
.
L28
Vol
.
827
AU
AU Gabbay, Dov M., 1945-
AU Ohlbach, Hans Jurgen
TI
SE Lecture notes in computer science 827
International Conference on Temporal Logic
