Vol-759⫷ Vol-760 ⫸Vol-761
urn:nbn:de:0074-760-0


None⫷None⫸None
Josef Urban

An Overview of Methods for Large-Theory Automated Theorem Proving