Vol-2832⫷ Vol-2833 ⫸Vol-2834
urn:nbn:de:0074-2833-0


Vol-2833/Paper_13⫷Vol-2833/Paper_14⫸Vol-2833/Paper_15
Alexandre LyaletskyAlexander V. Lyaletski

Evidence Algorithm Approach to Automated Theorem Proving and SAD Systems