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.