| 
|
Quote: need interactive system for effective theorem proving; users provide strategy and insights, computers do the calculations
topics >
all references >
references p-r >
Topic:
theorem proving systems
Topic:
man-machine symbiosis
Quotation Skeleton
In our opinion, the key to truly effective … overall strategy and provide the insights, and the … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: theorem proving systems (20 items)
Topic: man-machine symbiosis (46 items)