Temporal Logic: First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994. Proceedings (Lecture Notes in Computer Science, 827)

معرفی کتاب «Temporal Logic: First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994. Proceedings (Lecture Notes in Computer Science, 827)» نوشتهٔ Morten Ulrik Sørensen, Odd Erik Hansen, Hans Henrik Løvengreen (auth.), Dov M. Gabbay, Hans Jürgen Ohlbach (eds.)، منتشرشده توسط نشر Springer-Verlag Berlin Heidelberg در سال 1994. این کتاب در فرمت pdf، زبان انگلیسی ارائه شده است.