Construction and Compounding of a Class of Regular Standard Contradictions in Propositional Logic
The resolution principle is a brief,reliable and complete inference rule in automated reasoning and the deductive theory of standard contradiction separation is an extension of binary resolution.Since the structure of the standard contradiction is very complex and there are few existing contradictio...
Na minha lista:
| Hovedforfatter: | |
|---|---|
| Format: | Artigo |
| Sprog: | Chinês |
| Udgivet: |
Editorial office of Computer Science
2024-01-01
|
| Serier: | Jisuanji kexue |
| Fag: | |
| Online adgang: | https://www.jsjkx.com/fileup/1002-137X/PDF/1002-137X-2024-51-1-295.pdf |
| Tags: |
Ingen Tags, Vær først til at tagge denne postø!
|