ابحث في الأبحاث مفتوحة الوصول بالعربية والإنجليزية

المساق فهرس الأبحاث العلمية المترجمة للعربية

arXiv 2003-11-04 EN

Computing Convex Hulls with a Linear Solver

Benoy, Florence · King, Andy · Mesnard, Fred

arXiv 2002-01-16 EN

A Backward Analysis for Constraint Logic Programs

King, Andy · Lu, Lunjin

arXiv 2002-01-16 EN

Efficient Groundness Analysis in Prolog

Howe, Jacob M. · King, Andy

arXiv 2001-03-08 EN

The Limits of Horn Logic Programs

Ma, Shilong · Sui, Yuefei · Xu, Ke