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
Otter homepage at Argonne
Books
* Kalman, John Arnold.
Automated Reasoning with OTTER
. ISBN 1589490045
<< Previous
Word Browser
Next >>
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
Copyright 2005-2009 OnPedia.com. All Rights Reserved