𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Conference on “The future of applied mathematics”: September 7–10, 1971


Publisher
Elsevier Science
Year
1971
Tongue
English
Weight
65 KB
Volume
9
Category
Article
ISSN
0020-7225

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES


Sixth conference on automated deduction
📂 Article 📅 1982 🏛 Elsevier Science 🌐 English ⚖ 43 KB

The Conference on Automated Deduction is the international conference devoted to covering all approaches to the automation of deductive reasoning. Papers range from those concerned with reporting purely theoretical results to those reporting experiments with running systems. Typical topics addressed