Fingerprint
Dive into the research topics of 'Can a higher-order and a first-order theorem prover cooperate?'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
C Benzmuller, Volker Sorge, Mateja Jamnik, Manfred Kerber
Research output: Contribution to journal › Article › peer-review