Automated Deduction, Cade-13
13th International Conference on Automated Deduction, New Brunswick, Nj, USA, July 30 - August 3, 1996, Proceedings
Автор:
M. McRobbie, J. K. Slaney
Наличност:
Външен склад в ограничено количество
Изпращаме след 13-18 дни
116.04
€
226.95 лв
Presenting 46 revised papers from CADE-13, this text focuses on results in all aspects of automated...
