𝔖 Bobbio Scriptorium
✦   LIBER   ✦

ACQUAL’s first special issue on the reliability of food measurements

✍ Scribed by Paul De Bièvre


Publisher
Springer-Verlag
Year
2002
Tongue
English
Weight
71 KB
Volume
7
Category
Article
ISSN
0949-1775

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES


Special Issue on Advances in First-order
📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 73 KB

The role of first-order theorem proving as a core theme of automated deduction has been recognized since the beginning of the field, at the dawn of artificial intelligence, more than 40 years ago. Although many other logics have been developed and used in AI, deduction systems based on first-order t