𝔖 Bobbio Scriptorium
✦   LIBER   ✦

CO-OPERATIVE PLANNING

✍ Scribed by Gerhard WEISSER

Book ID
110959729
Publisher
John Wiley and Sons
Year
1963
Tongue
English
Weight
609 KB
Volume
34
Category
Article
ISSN
1370-4788

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

PLANNING AND CO-OPERATIVE ACTION
PLANNING AND CO-OPERATIVE ACTION
✍ Paul LAMBERT πŸ“‚ Article πŸ“… 1962 πŸ› John Wiley and Sons 🌐 English βš– 803 KB
Plans for Co-Operative Research
Plans for Co-Operative Research
✍ Lucile Eaves πŸ“‚ Article πŸ“… 1920 πŸ› University of Chicago Press 🌐 English βš– 376 KB
Co-operative Health Plans in Canada
Co-operative Health Plans in Canada
✍ P. E. MEEHAN πŸ“‚ Article πŸ“… 1955 πŸ› Canadian Public Health Association 🌐 English βš– 583 KB
The Use of Proof Planning for Co-operati
The Use of Proof Planning for Co-operative Theorem Proving
✍ H. Lowe; A. Bundy; D. McLean πŸ“‚ Article πŸ“… 1998 πŸ› Elsevier Science 🌐 English βš– 491 KB

We describe barnacle: a co-operative interface to the clam inductive theorem proving system. For the foreseeable future, there will be theorems which cannot be proved completely automatically, so the ability to allow human intervention is desirable; for this intervention to be productive the problem