-
شماره ركورد
5001
-
شماره راهنما
COM2 110
-
نويسنده
موسي زاده، موسي
-
عنوان
وارسي ويژگي هاي حياتي در سيستم هاي بازنويسي عبارات
-
مقطع تحصيلي
كارشناسي ارشد
-
دانشكده
دانشكده فني و مهندسي، گروه كامپيوتر
-
تاريخ دفاع
شهريور 1387
-
استاد راهنما
بهروز ترك لاداني
-
توصيفگر فارسي
مهندسي كامپيوتر (هوش مصنوعي) , 1387 , ويژگي حياتي , سيستم بازنويسي عبارات , وارسي , ويژگي حياتي مركب , ماشين متناهي درختي , پايان پذيري
-
نام نمايه ساز
khorasani^d2009/01/24 09:33:54 , mokhtarian^d2009/01/31 11:08:00
-
توصيفگر لاتين
سيستم پويا livness properties , term rewrite systems , verification , compesile liveness properties , finite tree automate , termination , dynamic system
-
عنوان لاتين
Veriffication of liveness properties in term rewriting systems
-
لينک به اين مدرک :