عنوان
پدید آورنده
موضوع
رده
QA 76 .6 .T4414 1994
QA
76
.
6
.
T4414
1994
کتابخانه
محل استقرار
114030
زمستان۶۷
English
)91(
Temporal logic : first international conference, ICTL '94, Bonn, Germany, July 11-14, 1994 : proceedings
Berlin
Springer-Verlag
1994
xi, 545 p.: ill.; 24 cm
Lecture notes in computer science; 728. Lecture notes in artificial intelligence
Includes bibliiographical references and index
، Electronic digital computers-- Programming
، Logic, Symbolic and mathematical
QA
76
.
6
.
T4414
1994
TI
Dov M. Gabbay, Hans J. Ohlbach ]eds.[
AU M voD ,yabbaG 1945-
AU negruJ snaH ,hcablhO
SE Lecture notes in computer science; 827
SE Lecture notes in computer science. Lecture notes in artificial intelligence
129
