Book
Proof-Search in Natural Deduction Calculus for Classical Propositional Logic
| العنوان: | Proof-Search in Natural Deduction Calculus for Classical Propositional Logic |
|---|---|
| المؤلفون: | M. Ferrari, C. Fiorentini |
| المساهمون: | H. de Nivelle, M. Ferrari, C. Fiorentini |
| بيانات النشر: | Springer Switzerland |
| سنة النشر: | 2015 |
| المجموعة: | The University of Milan: Archivio Istituzionale della Ricerca (AIR) |
| مصطلحات موضوعية: | Settore INF/01 - Informatica, Settore MAT/01 - Logica Matematica |
| نوع الوثيقة: | book part |
| اللغة: | English |
| Relation: | info:eu-repo/semantics/altIdentifier/isbn/9783319243115; info:eu-repo/semantics/altIdentifier/wos/WOS:000366125200020; ispartofbook:Automated Reasoning with Analytic Tableaux and Related Methods; Tableaux 2015 : Automated Reasoning with Analytic Tableaux and Related Methods; volume:9323; firstpage:237; lastpage:252; numberofpages:16; serie:LECTURE NOTES IN ARTIFICIAL INTELLIGENCE; alleditors:H. de Nivelle; http://hdl.handle.net/2434/315082; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-84950137008 |
| DOI: | 10.1007/978-3-319-24312-2_17 |
| الاتاحة: | http://hdl.handle.net/2434/315082 https://doi.org/10.1007/978-3-319-24312-2_17 |
| Rights: | info:eu-repo/semantics/closedAccess |
| رقم الانضمام: | edsbas.BF4FE574 |
| قاعدة البيانات: | BASE |
| DOI: | 10.1007/978-3-319-24312-2_17 |
|---|