Otter (software)
Otter is an automated deduction system developed at Argonne National Laboratory. The word is an ancronym for Organized Techniques for Theorem Proving and Effective Research.
External references
Books
Otter (software)Otter is an automated deduction system developed at Argonne National Laboratory. The word is an ancronym for Organized Techniques for Theorem Proving and Effective Research.
|
|
|
Home Alphabetical Listing Quote This article is from Wikipedia. All text is available under the terms of the GNU Free Documentation License. |