Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Negin Arhami

Automated Theorem Proving by Translation to Description Logic

EasyChair Preprints

English