Gabbay, Dov M. (ed) & Ohlbach, Hans JŁrgen (ed)

Temporal logic. 1st international conference, ICTL'94, Bonn, Germany, July 11-14, 1994. Proceedings. - Springer Verlag, 1994. - ( Lecture Notes in Artificial Intelligence ; 827).


  1. Cote: 14116. En rayon: classement par collection. Exclu du prÍt.