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

A Mechanized Proof Environment for the Convenient Computations Proof Method

โœ Scribed by Marcelo Glusman; Shmuel Katz


Book ID
111544714
Publisher
Springer
Year
2003
Tongue
English
Weight
167 KB
Volume
23
Category
Article
ISSN
0925-9856

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES