Higher Order Logic Theorem Proving and Its Applications: 7th International Workshop, Valletta, Malta, September 19-22, 1994. Proceedings
Editat de Thomas F. Melham et al.
7 sep 1994
Paperback
Preț: 341.95 lei 427.44 lei
6-8 săpt.
-20%