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:
| Autor principal: | |
|---|---|
| Formato: | Artigo |
| Idioma: | Chinês |
| Publicado em: |
Editorial office of Computer Science
2024-01-01
|
| coleção: | Jisuanji kexue |
| Assuntos: | |
| Acesso em linha: | https://www.jsjkx.com/fileup/1002-137X/PDF/1002-137X-2024-51-1-295.pdf |
| Tags: |
Sem tags, seja o primeiro a adicionar uma tag!
|