The following pages link to Prosper (Q14049):
Displaying 7 items.
- Providing a formal linkage between MDG and HOL (Q878110) (← links)
- 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 (Q950564) (← links)
- Optimal debt contracts under costly enforcement (Q976769) (← links)
- Verification of clock synchronization algorithms: experiments on a combination of deductive tools (Q2642981) (← links)
- Computer assisted reasoning. A Festschrift for Michael J. C. Gordon (Q2655321) (← links)
- Using the moving average rule in a dynamic web recommendation system (Q3445519) (← links)
- (Q3615288) (← links)