Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request

نتائج البحث

Display Settings
النتائج لكل صفحة: 10
Sort By: Relevance
Filter
  • 1-3 ل  3 نتائج ل ""I.2.2""

فلترة النتائج

Publisher : springer-verlag
إعادة تعيين خيارات الفبترة
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Academic Journal

Modular Termination Proofs for Prolog with Tabling

Subjects: Logic Programming; Termination Analysis CR Subject Classication; I.2.3

  • Source: http://www.cs.kuleuven.ac.be/~sofie/CWmodterm.ps.

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Academic Journal

Schreye. Modular termination proofs for Prolog with tabling

Subjects: Logic Programming; Termination Analysis CR Subject Classification; I.2.3

  • Source: http://www.cs.kuleuven.ac.be/publicaties/rapporten/cw/CW279.ps.gz.

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
Academic Journal

From Chaotic Iteration to Constraint Propagation

  • Authors : Krzysztof R. Apt; The Pennsylvania State University CiteSeerX Archives

Subjects: 1991 Computing Reviews Classi�cation System; F.3.1; I.2.2 Keywords and Phrases

  • Source: http://ftp.cwi.nl/CWIreports/PNA/PNA-R9706.pdf.

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي
×
  • 1-3 ل  3 نتائج ل ""I.2.2""