DCW
2000
Springer
13 years 9 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
13 years 11 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...