Item request has been placed!

Item request cannot be made.

Processing Request

نتائج البحث

Display Settings

النتائج لكل صفحة: 10

Sort By: Relevance

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

Collection : Oatao (Open Archive Toulouse Archive Ouverte - Universite De Toulouse)

إعادة تعيين خيارات الفبترة

Item request has been placed!

Item request cannot be made.

Processing Request

Academic Journal

Two decision problems in Contact Logics

Authors : Balbiani, Philippe; Gencer, Cigdem; Özdemir, Zafer ...

Subjects: Logique en informatique; Contact Logics; Satisfiability problem

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

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

Conference

Admissibility and unifiability in contact logics

Authors : Balbiani, Philippe; Gencer, Cigdem;

Subjects: Intelligence artificielle; Apprentissage; Logique en informatique

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

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