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-40
| Item type | Current library | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
Artículos de revista
|
San Esteban Depósito de revistas | Available |