Arama Sonuçları - "tableaux"
Önerilen Konular
Önerilen Konular
-
1
-
2
Automated Reasoning with Analytic Tableaux and Related Methods 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings
Baskı/Yayın Bilgisi 2023Konular: “…tableaux…”
DOAB: download the publication
DOAB: description of the publication
Elektronik Kitap Bölümü -
3
Automated Reasoning with Analytic Tableaux and Related Methods 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings
Baskı/Yayın Bilgisi 2023Konular: “…tableaux…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Elektronik Kitap Bölümü -
4
Deductive Systems in Traditional and Modern Logic
Baskı/Yayın Bilgisi 2020Konular: “…synthetic tableaux…”
DOAB: download the publication
DOAB: description of the publication
Elektronik Kitap Bölümü