Sir,
I want to know that whats the algorithm behind these BASIC proof Tactics. I
have searched but I did not find any useful information regarding these
tactics.
Thanks
--
Regards,
Waqar Ahmed
Ph.D Student,
School of Electrical Engineering and Computer Science (SEECS),
National University of Science and Technology (NUST), H-12, Islamabad,
Pakistan
------------------------------------------------------------------------------
Everyone hates slow websites. So do we.
Make your web apps faster with AppDynamics
Download AppDynamics Lite for free today:
http://p.sf.net/sfu/appdyn_d2d_mar
_______________________________________________
hol-info mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/hol-info
