Vol-3762⫷ Vol-3763 ⫸Vol-3764
urn:nbn:de:0074-3763-0


Vol-3763/paper1⫷Vol-3763/paper2⫸Vol-3763/paper3
Claudia Schon

Using the Meaning of Symbol Names to Guide First-Order Logic Reasoning