Yazar
Fariba Sadri
7 cilt bulundu.
Cilt sonuçları
Rule Technologies: Foundations, Tools, and Applications
Nick Bassiliades, Georg Gottlob, Fariba Sadri, Adrian Paschke, Dumitru Roman · Yayınevi bilinmiyor
Sayfa sayısı yok · 2015
Kategori yok
Three Recent Approaches to Temporal Reasoning
Imperial College of Science, Technology, and Medicine (Great Britain). Dept. of Computing, F. Sadri · Yayınevi bilinmiyor
41 sayfa · 1986
Modality (Logic)
An Application of General Purpose Theorem-proving to Database Integrity
Imperial College of Science, Technology, and Medicine (Great Britain). Dept. of Computing, Fariba Sadri, Robert Kowalski · Yayınevi bilinmiyor
42 sayfa · 1986
Automatic theorem proving