Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Johann Rosain"'
Publikováno v:
Automated Reasoning ISBN: 9783031107689
We describe , an automated theorem prover for first-order logic that relies on a concurrent search procedure to find tableau proofs, with concurrent processes corresponding to individual branches of the tableau. Since branch closure may require insta
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d68b790126da88f5d5171056b735febc
https://doi.org/10.1007/978-3-031-10769-6_22
https://doi.org/10.1007/978-3-031-10769-6_22
