𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Knuth-Bendix Completion for Non-Symmetric Transitive Relations

✍ Scribed by Georg Struth


Book ID
108498220
Publisher
Elsevier Science
Year
2001
Tongue
English
Weight
193 KB
Volume
59
Category
Article
ISSN
1571-0661

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES