Paradox theorem prover - Definition and Overview
Related Words:
Ambiguity
,
Antinomy
,
Asymmetry
,
Contradiction
,
Crux
,
Enigma
,
Equivocation
,
Heresy
,
Heterodoxy
,
Heterogeneity
,
Incommensurability
,
Inconsistency
Paradox
is an
automated theorem proving
system.
External links
Paradox home page
(
http://www.math.chalmers.se/~koen/paradox/
)
Copyright 2009 WordIQ.com -
Privacy Policy
::
Terms of Use
::
Contact Us
::
About Us
This article is licensed under the
GNU Free Documentation License
. It uses material from the
this
Wikipedia article.
