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ț: 664.80 lei 830.99 lei
6-8 săpt.
-20%