Temporal Logic: First International Conference, ICTL '94, Bonn, Germany, July 11 - 14, 1994. Proceedings Lecture Notes in Computer Science, nr. 827 Editat de Dov M. Gabbay et al. 29 iun 1994 Paperback Preț: 633.38 lei 791.72 lei 6-8 săpt. -20%
Practical Reasoning Editat de Dov M. Gabbay et al. 21 mai 1996 Paperback Preț: 646.63 lei 808.29 lei 6-8 săpt. -20%