Reviews (0)
No reviews yet. Be the first to review this listing.
Write a review
Is this your business?
About
An interactive proof assistant based on analytic tableaux, and designed for the teaching of deductive reasoning. Ordering information is available at this site, as are academic papers on the design of the software.
Details
- CIN
- —
- Registration Number
- —
- Listed on Stock Exchange
- —
- Company Status
- —
- Registrar of Companies (RoC)
- —
- Company Category
- —
- Company Sub-category
- —
- Class of Company
- —
- Date of Incorporation
- —
- Age of Company
- —
Opening hours
| Monday | — |
|---|---|
| Tuesday | — |
| Wednesday | — |
| Thursday | — |
| Friday | — |
| Saturday | — |
| Sunday | — |
Reviews (0)
No reviews yet. Be the first to review this listing.