๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Reasonable Goals for SIP Revision

โœ Scribed by Costle, Douglas M.


Book ID
126692583
Publisher
Air and Waste Management Association
Year
1979
Tongue
English
Weight
562 KB
Volume
29
Category
Article
ISSN
0002-2470

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