Browsing "04. Mühendislik Fakültesi / Faculty of Engineering" by Subject Automated deduction
Showing results 1 to 1 of 1
| Issue Date | Title | Author(s) |
|---|---|---|
| 2017 | An extended syllogistic logic for automated reasoning | Çine, Ersin; Kumova, Bora İsmail |