DCW
2000
Springer
14 years 3 months ago
2000
Springer
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...
TPHOL
2008
IEEE
14 years 6 months ago
2008
IEEE
The HOL4 proof assistant supports specification 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...