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
Dostępność:
Dostępna u dostawcy w małych ilościach
Wysyłamy za 13-18 dni
475.07
zł
Presenting 46 revised papers from CADE-13, this text focuses on results in all aspects of automated...
