Temporal Logic
First International Conference, ICTL '94, Bonn, Germany, July 11-14, 1994. Proceedings
Autor:
Dov M. Gabbay, Hans J. Ohlbach
Disponibilitate:
În depozitul extern în cantități mici
Expediem în 13-18 zile
581.45
lei
This volume constitutes the proceedings of the First International Conference on Temporal Logic (ICT...
