Sciweavers

Share
DCW
2000
Springer
10 years 9 days ago
AntWorld: A Collaborative Web Search Tool
We describe our experiences designing and using AntWorld, a tool developed to make it easier for the members of a common-interest user group to collaborate in searching the web. It...
Vladimir Menkov, David J. Neu, Qin Shi
TPHOL
2008
IEEE
10 years 2 months ago
A Brief Overview of HOL4
The HOL4 proof assistant supports speciļ¬cation and proof in classical higher order logic. It is the latest in a long line of similar systems. In this short overview, we give an o...
Konrad Slind, Michael Norrish
books