Map
Index
Random
Help
th

Quote: a theorem prover acts as an implacable skeptic that insists on stated assumptions and justified claims; not an oracle

topics > all references > references p-r > QuoteRef: rushJ12_1991 , p. 13



Topic:
theorem proving systems

Quotation Skeleton

Contrary to parodies erected by some of the … bewildering arguments for inscrutable reasons, but as an …   Google-1   Google-2

Copyright clearance needed for quotation.


Related Topics up

Topic: theorem proving systems (20 items)

Copyright © 2002-2008 by C. Bradford Barber. All rights reserved.
Thesa is a trademark of C. Bradford Barber.