Vol-1650⫷ Vol-1651 ⫸Vol-1652
urn:nbn:de:0074-1651-0


Vol-1651/12340059⫷Vol-1651/12340072⫸Vol-1651/12340084
Ulrich FurbachClaudia Schon

Commonsense Reasoning Meets Theorem Proving