A Logic Solver Without Rules of Inference: Aristotle's Syllogistic Classified by Letting a System Rest

Chalk, Edward

DOI: 10.5281/zenodo.23758321

На странице источника доступны аннотация, полный текст или сведения о том, где его прочитать.