Naji Obeid
From MaRDI portal
Person:266880
Available identifiers
zbMath Open obeid.najiMaRDI QIDQ266880
List of research outcomes
| This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon! |
| Publication | Date of Publication | Type |
|---|---|---|
| Abductive Reasoning on Molecular Interaction Maps | 2020-02-07 | Paper |
| Temporal Logic Modeling of Biological Systems | 2020-02-04 | Paper |
| Translation of first order formulas into ground formulas via a completion theory | 2016-04-07 | Paper |
| Model-based diagnosis and conditional logic | 2002-05-02 | Paper |
Research outcomes over time
This page was built for person: Naji Obeid