| 
|
Quote: proofs with a general purpose theorem prover may almost always be impractically long
topics >
all references >
references p-r >
Topic:
theorem proving systems
Topic:
program proving is infeasible
Quotation Skeleton
That at least as long as we have … or for all statements of even a very … it will very often, perhaps even almost always, … an extent that settling the question whether the … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: theorem proving systems (20 items)
Topic: program proving is infeasible (46 items)