Automated Reasoning with Analytic Tableaux and Related Methods

Automated Reasoning with Analytic Tableaux and Related Methods

30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6-9, 2021, Proceedings

විසින් Anupam Das
5/5
මුලින්ම ප්රකාශයට පත් කරන ලදී
2021
ප්‍රකාශකයන්
Springer International Publishing AG
භාෂාව
English

පොත්

සමාන පොත්