Sponsored Links:
Logic Page (Popularity:  )
Maintained by Christian Gottschall, Vienna philosophy department.
Category: Science\Math\Logic and Foundations\Directories
|
|
CompuFlow Solutions (Popularity: )
Flow calibration equipment; repairs, upgrades, preventive maintenance, and certifications.
Category: Science\Instruments and Supplies\Laboratory Instrument Service, Calibration, and Repair
|
|
Proof General (Popularity: )
Emacs based generic interface for theorem provers.
Category: Science\Math\Logic and Foundations\Computational Logic
|
|
The Higher Order Logic Theorem Prover (Popularity: )
Paper detailing the HOL, a tool used for assisting in the specification and verification of ...
Category: Science\Computer Science\Formal Methods
|
Prover
