[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

ask for help



I'm interrested to implement rules in PSV in my researsh,so I'd like to know if it is possible to integrate inferences rules within PVS



Do You Yahoo!? -- Une adresse @yahoo.fr gratuite et en franšais !
Testez le nouveau Yahoo! Mail