Pavel PECH Katedra matematiky, Pedagogická Fakulta, Jihočeská univerzita České Budějovice,

1 AUTOMATICKÉ DOKAZOVÁNÍ A OBJEVOVÁNÍ VĚT Pavel PECH Katedra matematiky, Pedagogická Fakulta, Jihočesk&aacut...
Author:  Miroslav Ševčík

52 downloads 64 Views 695KB Size

Recommend Documents