Search
Feedback
About
Help
News
Refine your search: (isxn:1402016565)
Narrow your search
| Listing 1 - 1 of 1 |
Sort by
|
Thirty five years of automating mathematics
Loading...
Author: Kamareddine, Fairouz D.
ISBN: 1402016565 Year: 2003 Publisher: Dordrecht : Kluwer academic,
ISBN: 1402016565 Year: 2003 Publisher: Dordrecht : Kluwer academic,
Abstract | Keywords | Export | Availability | Bookmark
Loading...
Export citation
Choose an application
- Reference Manager
- EndNote
- RefWorks (Direct export to RefWorks)
Bookmark
Abstract
Keywords
AUTOMATH (Formal language). --- Automatic theorem proving. --- Proof theory.
| Listing 1 - 1 of 1 |
Sort by
|