✦ LIBER ✦

Recent advances in automated theorem proving on inequalities

✍ Scribed by Lu Yang

Publisher: Springer
Year: 1999
Tongue: English
Weight: 770 KB
Volume: 14
Category: Article
ISSN: 1000-9000
DOI: 10.1007/bf02948785

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Recent advances in geometric inequalitie

Recent advances in geometric inequalities

📂 Article 📅 1992 🏛 Springer Netherlands 🌐 English ⚖ 217 KB

Automated theorem proving by resolution

Automated theorem proving by resolution in non-classical logics

✍ Viorica Sofronie-Stokkermans 📂 Article 📅 2007 🏛 Springer Netherlands 🌐 English ⚖ 600 KB

Special Issue on Advances in First-order

Special Issue on Advances in First-order Theorem Proving Foreword of the Guest Editors

📂 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

Some Recent Developments in Complete Str

Some Recent Developments in Complete Strategies for Theorem-Proving by Computer

✍ Bernard Meltzer 📂 Article 📅 1968 🏛 John Wiley and Sons 🌐 English ⚖ 329 KB

## SOME RECENT DEVELOPMENTS IN COMPLETE STRATEGIES FOR THEOREM-PROVING BY COMPUTER1) by BERNARD MELTZER in Edinburgh, Scotland

Automated theorem-proving research in th

Automated theorem-proving research in the Fifth Generation Computer Systems Project: Model generation theorem provers

✍ Mark E Stickel 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 899 KB

On the role of unification in mechanical

On the role of unification in mechanical theorem proving

✍ Robert E. Shostak 📂 Article 📅 1977 🏛 Springer-Verlag 🌐 English ⚖ 306 KB