Otter Theorem Prover
Otter is an
automated theorem prover
developed at the
Argonne National Laboratory
in Illinois. It was the first widely distributed high-performance theorem prover for first-order logic, and pioneered a number of important implementation techniques.
External link
Otter home page
<< Previous
Word Browser
Next >>
tears for fears
kosovo (disambiguation)
ringed seal
socialist revolutionary party
rutherglen, victoria
houston person
rutherglen, glasgow
tony hadley
steve norman
etta jones
glyndebourne
milt jackson
ssp
health claims on food labels
averoigne
sarai
common gull
wye
wye (disambiguation)
the brown bunny
hedging
stanley kramer
ivonka survilla
matt hughes
franz josef strau
politics of scotland
e equational theorem prover
bruce hunter
catherine hunter
honus wagner
maureen hunter
long term asset
current asset
book value
weiach
girl guides
tapper
csp
forchheim (district)
weather control
athens (disambiguation)
hazel hutchins
regnitz
operation emery
Copyright 2005-2009 OnPedia.com. All Rights Reserved