Automated Theorem Proving
Autor:
W. W Bledsoe, Donald W. Loveland
Dostupnost:
50 % šance
Prohledáme celý svět
1 733
Kč