Map
Index
Random
Help
th

QuoteRef: parnDL8_1993

topics > all references > ThesaHelp: references p-r



ThesaHelp:
references p-r
Group:
program proving

Reference

Parnas, D.L., "Some theorems we should prove", in Joyce, J.J., Seger, C.-J. H. (ed.), Higher Order Logic Theorem Proving and Its Applications, 6th International Workshop, HUG '93, August 1993, Springer-Verlag Lecture Notes in Computer Science , 780, pp. 155-162. Google

Quotations
abstract ;;Quote: errors and oversights are likely when preparing tabular, mathematical descriptions of functions; need many proofs of "obviously true" theorems


Related Topics up

ThesaHelp: references p-r (245 items)
Group: program proving   (10 topics, 310 quotes)

Collected barberCB 6/97
Copyright © 2002-2008 by C. Bradford Barber. All rights reserved.
Thesa is a trademark of C. Bradford Barber.