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

Average-case analysis of Robinson's unification algorithm with two different variables

โœ Scribed by R. Casas; J. Diaz; J.M. Steyaert


Book ID
113163374
Publisher
Elsevier Science
Year
1989
Tongue
English
Weight
614 KB
Volume
31
Category
Article
ISSN
0020-0190

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES