A Proof of CNQNP from CPQ by the Rule Detachment in Jeffrey's Systems 5.6 / Patrick Langley, Peter Larson, Susan Silas
Material type: ArticleLanguage: English Subject(s): Lógica In: Rassegna Internazionale di Logica Cfr. International Logic Review vol. 14, nº. 27, 1983, págs. 37-40Item type | Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
Artículos de revista | San Esteban Depósito de revistas | Available |