Automated Deduction - Cade-13: 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30 - August 3, 1996. Proceedings
Editat de Michael A. McRobbie et al.
iul 1996
Paperback
Preț: 669.71 lei 837.14 lei
6-8 săpt.
-20%