Resultats de la cerca - "natural deduction"
Matèries dins de la cerca
Matèries dins de la cerca
-
1
Automated Reasoning with Analytic Tableaux and Related Methods 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings
Publicat 2023Matèries: “…natural deduction…”
DOAB: download the publication
DOAB: description of the publication
Electrònic Capítol de llibre -
2
Automated Reasoning with Analytic Tableaux and Related Methods 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings
Publicat 2023Matèries: “…natural deduction…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electrònic Capítol de llibre -
3
Deductive Systems in Traditional and Modern Logic
Publicat 2020Matèries: “…natural deduction…”
DOAB: download the publication
DOAB: description of the publication
Electrònic Capítol de llibre