EN ورود

کشف منابع

Termination

کتاب‌ها

2 نتیجه

Cover of Term Rewriting and All That

English Intermediate

Term Rewriting and All That

Franz Baader,Tobias Nipkow

1998 مشاهدهٔ کتاب

Cover of Algorithmic term rewriting systems

English Intermediate

Algorithmic term rewriting systems

Ariya Isihara.

cop. 2010. مشاهدهٔ کتاب