✦ LIBER ✦

PLANNING AND CO-OPERATIVE ACTION

✍ Scribed by Paul LAMBERT

Book ID: 110959715
Publisher: John Wiley and Sons
Year: 1962
Tongue: English
Weight: 803 KB
Volume: 33
Category: Article
ISSN: 1370-4788
DOI: 10.1111/j.1467-8292.1962.tb00028.x

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

CO-OPERATIVE PLANNING

✍ Gerhard WEISSER 📂 Article 📅 1963 🏛 John Wiley and Sons 🌐 English ⚖ 609 KB

FROM TRADE-UNION ACTION TO CO-OPERATIVE

FROM TRADE-UNION ACTION TO CO-OPERATIVE ACTION

✍ Edgard Milhaud 📂 Article 📅 1942 🏛 John Wiley and Sons 🌐 English ⚖ 815 KB

Plans for Co-Operative Research

✍ Lucile Eaves 📂 Article 📅 1920 🏛 University of Chicago Press 🌐 English ⚖ 376 KB

Integration of production and shipping p

Integration of production and shipping planning: a co-operative approach

✍ Baptiste, P.; Alsène, É.; Gaudimier, R. 📂 Article 📅 2008 🏛 Taylor and Francis Group 🌐 English ⚖ 669 KB

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