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
Dostupnost:
Skladem u dodavatele v malém množství
Odesíláme za 13-18 dnů
2 567
Kč
Presenting 46 revised papers from CADE-13, this text focuses on results in all aspects of automated...