Kết quả tìm kiếm - "formalized proof"
Chủ đề được đề xuất trong tìm kiếm của bạn.
Chủ đề được đề xuất trong tìm kiếm của bạn.
-
1
Automated Reasoning with Analytic Tableaux and Related Methods 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings
Được phát hành 2023Những chủ đề: “…formalized proof…”
DOAB: download the publication
DOAB: description of the publication
Điện tử Chương của sách -
2
Automated Reasoning with Analytic Tableaux and Related Methods 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings
Được phát hành 2023Những chủ đề: “…formalized proof…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Điện tử Chương của sách