Arhivă
Revista Română de Informatică și Automatică / Vol. 2, Nr. 3-4, 1992
A Proof Theory for General Unification (Teoria demonstraţiei pentru unificarea generală)
Dan NICOLĂIȚĂ
Recenzie a lucrării A Proof Theory for General Unification (Teoria demonstraţiei pentru unificarea generală), de Wayne Snyder (Ed. Birchäuser, Boston, 1991, p. 178)
Cuvinte cheie:
Vizualizează articolul complet:
CITAREA ACESTUI ARTICOL SUNT URMĂTOARELE:
Dan NICOLĂIȚĂ,
„A Proof Theory for General Unification (Teoria demonstraţiei pentru unificarea generală)”,
Revista Română de Informatică și Automatică,
ISSN 1220-1758,
vol. 2(3-4),
pp. 82,
1992.