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

A framework for comparing SDI systems

โœ Scribed by Jordan, John R.


Book ID
112005064
Publisher
Wiley (John Wiley & Sons)
Year
1968
Weight
175 KB
Volume
19
Category
Article
ISSN
0096-946X

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


Consolution as a Framework for Comparing
โœ Peter Baumgartner; Ulrich Furbach ๐Ÿ“‚ Article ๐Ÿ“… 1993 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 994 KB

In this paper, stepwise and nearly stepwise simulation results for a number of first-order proof calculi are presented and an overview is given that illustrates the relations between these calculi. For this purpose, we modify the consolution calculus in such a way that it can be instantiated to reso