๐”– Bobbio Scriptorium
โœฆ   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

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