खोज परिणाम - "cut-elimination"
प्रस्तावित विषय : खोज निहित
प्रस्तावित विषय : खोज निहित
-
1
Automated Reasoning with Analytic Tableaux and Related Methods 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings
प्रकाशित 2023विषय: “…cut-elimination…”
DOAB: download the publication
DOAB: description of the publication
इलेक्ट्रोनिक पुस्तक अध्याय -
2
Automated Reasoning with Analytic Tableaux and Related Methods 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings
प्रकाशित 2023विषय: “…cut-elimination…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
इलेक्ट्रोनिक पुस्तक अध्याय