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

* Kalman, John Arnold. Automated Reasoning with OTTER. ISBN 1589490045

 

<< PreviousWord BrowserNext >>
ardnamurchan point
tommy john
kamandi
lichtenfels, hesse
christoph schneider
tabaqueira
merari
boris vilkitsky
melnik
nasjonal sikkerhetsmyndighet
christian lorenz
raf lakenheath
sandanski
petrich
perspex
lakenheath
razlog
cornershop
simitli
yasuhiko yoshikazu
carlisle castle
aleuromancy
orissa communist party
hms bamborough castle (k412)
ghia
alphitomancy
virginia rappe
bembridge
boyana church
madhya pradesh vikas congress
madara rider
stalin line
basilica di san lorenzo di firenze
mfn
pirin national park
johannes blaskowitz
racing bicycle
apperson
rock hewn churches of ivanovo
apple (automobile)
lakes of the united kingdom
sceptile
bamburgh castle
srebarna nature reserve