खोज परिणाम - "automated theorem proving"
प्रस्तावित विषय : खोज निहित
प्रस्तावित विषय : खोज निहित
-
1
Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings
प्रकाशित 2023विषय: “…automated theorem proving…”
DOAB: download the publication
DOAB: description of the publication
इलेक्ट्रोनिक पुस्तक अध्याय -
2
Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings
प्रकाशित 2023विषय: “…automated theorem proving…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
इलेक्ट्रोनिक पुस्तक अध्याय