Prosper
From MaRDI portal
Software:14049
No author found.
Related Items (7)
Using the moving average rule in a dynamic web recommendation system ⋮ Verification of clock synchronization algorithms: experiments on a combination of deductive tools ⋮ Computer assisted reasoning. A Festschrift for Michael J. C. Gordon ⋮ Providing a formal linkage between MDG and HOL ⋮ Unnamed Item ⋮ International symposium on distributed computing and artificial intelligence 2008 (DCAI'08). Selected papers based on the presentations at the symposium, Salamanca, Spain, October 22--24, 2008 ⋮ Optimal debt contracts under costly enforcement
This page was built for software: Prosper
