Web World Directory Human Indexed Directory

Search:

What's New

Formal Methods
Directory: Computers » Computer Science » Formal Methods

  • The HOL theorem prover
    This document contains some pointers to information on the HOL mechanical theorem proving system, based on Higher Order Logic, available around the world on the World Wide Web (WWW or W3), a global hypermedia system providing worldwide information.     More Info....
    http://archive.comlab.ox.ac.uk/formal-methods/hol.html

This Category is for Formal Methods related websites only. If you have a Formal Methods related website and would like to see it listed on this page please feel free to submit it below.

Submit Premium | Submit Free | What's New | Popular Links

Search:

Formal Methods
Directory: Computers » Computer Science » Formal Methods

Copyright © 2001-2008 Web World Directory All Rights Reserved.