Arama sonucunda 1 kayıt bulundu.
USING MODEL GENERATION THEOREM PROVERS FOR THE COMPUTATION OF ANSWER SETS
Yanıt kümelerinin hesaplanmasında model oluşturabilen teorem ispatlayıcılarının kullanılması
Yükleniyor
Tez No: 255311