| Updated Blogs |
|
Computer Support Blog
Essensial Software for Web Based Support
HP Server and Desktop
HP ILO - Remote Tech-Support Software
More .....
|
JasmineCorp Search | Free Blogs | Free Tutorials | Free Guest Book | Buy Books | Advertise | Hosting | Web Designing | Software Development | Domain Registration | IP Locater | E-Cards | Whois | Games | Shopping
Title: Kumo
Description: A web-based proof assistant. It assists with proofs in first order hidden logic, using OBJ3 as a reduction engine. The most important inference rules in first order logic and hidden equational logic are implemented, including induction and coinduction, generates proof documentation for the web, supports distributed cooperative proving.
Directory: Science/Math/Logic_and_Foundations/Computational_Logic/Logical_Frameworks
Jasminecorp.net directory is based on the Open Directory and is being modified by Jasminecorp.
©2004 Jasmine Computers Inc.
Click here to subscribe for Jasminecorp's product News.
Home
|| Web Designing
|| Get
a Domain Name || Host
your Web site || Terms
of Service
Our Portfolio ||
Our Clients ||
Job Opportunities
|| Free GuestBook
|| Free
Quote
Buy Books
|| Tell a Friend
|| Special Offer
|| Contact Us
|| Free Tutorial
|| Add JasmineCorp Search
Submit a Site to Jasminecorp.net Directory