Academic Journal
Resolution Proof System for Constrained Pseudo-propositional Logic
| Τίτλος: | Resolution Proof System for Constrained Pseudo-propositional Logic |
|---|---|
| Συγγραφείς: | Ahmad-Saher Azizi-Sultan |
| Πηγή: | INTERNATIONAL JOURNAL of FUZZY LOGIC and INTELLIGENT SYSTEMS. 25:343-350 |
| Στοιχεία εκδότη: | Korean Institute of Intelligent Systems, 2025. |
| Έτος έκδοσης: | 2025 |
| Τύπος εγγράφου: | Article |
| Γλώσσα: | English |
| ISSN: | 2093-744X 1598-2645 |
| DOI: | 10.5391/ijfis.2025.25.3.343 |
| Αριθμός Καταχώρησης: | edsair.doi...........7cef8fafa32504957a587bba87e1701d |
| Βάση Δεδομένων: | OpenAIRE |
| ISSN: | 2093744X 15982645 |
|---|---|
| DOI: | 10.5391/ijfis.2025.25.3.343 |