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

A Full Formalization of SLD-Resolution in the Calculus of Inductive Constructions

โœ Scribed by M. Jaume


Book ID
110233441
Publisher
Springer Netherlands
Year
1999
Tongue
English
Weight
153 KB
Volume
23
Category
Article
ISSN
0168-7433

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES