𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Goal directed benchmarking for organizational efficiency

✍ Scribed by Theodor J. Stewart


Book ID
113830742
Publisher
Elsevier Science
Year
2010
Tongue
English
Weight
170 KB
Volume
38
Category
Article
ISSN
0305-0483

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


Goals and Benchmarks for Automated Map R
✍ Andrea Formisano; Eugenio G. Omodeo; Marco Temperini πŸ“‚ Article πŸ“… 2000 πŸ› Elsevier Science 🌐 English βš– 625 KB

Tarski-Givant's map calculus is briefly reviewed, and a plan of research is outlined aimed at investigating applications of this ground equational formalism in the theorem-proving field. The main goal is to create synergy between first-order predicate calculus and the map calculus. Techniques for tr