Schema-guided synthesis of CLP programs

Hamza Zidoum, Pierre Flener, Brahim Hnich

نتاج البحث: Conference contribution

اللغة الأصليةEnglish
عنوان منشور المضيفLogic-Based Program Synthesis and Transformation - 8th International Workshop, LOPSTR 1998, Selected Papers
المحررونPierre Flener
ناشرSpringer Verlag
الصفحات309-312
عدد الصفحات4
رقم المعيار الدولي للكتب (المطبوع)3540657657, 9783540657651
حالة النشرPublished - 1998
منشور خارجيًانعم
الحدث8th International Workshop on Logic-Based Program Synthesis and Transformation, LOPSTR 1998 - Manchester, United Kingdom
المدة: يونيو ١٥ ١٩٩٨يونيو ١٩ ١٩٩٨

سلسلة المنشورات

الاسمLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
مستوى الصوت1559
رقم المعيار الدولي للدوريات (المطبوع)0302-9743
رقم المعيار الدولي للدوريات (الإلكتروني)1611-3349

Other

Other8th International Workshop on Logic-Based Program Synthesis and Transformation, LOPSTR 1998
الدولة/الإقليمUnited Kingdom
المدينةManchester
المدة٦/١٥/٩٨٦/١٩/٩٨

ASJC Scopus subject areas

  • ???subjectarea.asjc.2600.2614???
  • ???subjectarea.asjc.1700.1700???

قم بذكر هذا