Automated Deduction, Cade-13
13th International Conference on Automated Deduction, New Brunswick, Nj, USA, July 30 - August 3, 1996, Proceedings
Autor:
M. McRobbie, J. K. Slaney
Disponibilitate:
În depozitul extern în cantități mici
Expediem în 13-18 zile
579.70
lei
Presenting 46 revised papers from CADE-13, this text focuses on results in all aspects of automated...
